＞∀x∈ℕ.∃(x+1).x<x+1
はそもそも論理式としてぶっ壊れてるんだからハナから無視しとけよ
やるなら
∀x∈ℕ.x<x+1
∀x∈ℕ.∃y.x<y
の2つを比較しろよ
スレタイ 箱入り無数目を語る部屋17
■ このスレッドは過去ログ倉庫に格納されています
771１３２人目の素数さん
2024/03/16(土) 02:16:26.20ID:mUoFzVnS■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【フランス】仏で55万人デモ、暴動や放火 物価高や教育巡り、市庁舎全焼 [ぐれ★]
- 【東京】トラックが女性に衝突 女性は両足切断で意識不明 三軒茶屋 [煮卵★]
- ガーシー「なんで刺青入ってたらサウナあかんの？」「外国人はOKってとこおかしない?」「もーファッションの一部になってきてるのに」★2 [冬月記者★]
- 【静岡】新幹線の線路に立ち入ったとして逮捕のブラジル人男性を不起訴処分 ダイヤ乱れ5万6000人に影響 [煮卵★]
- 「こんなの国民をバカにしてますよ！」 年金月14万円・72歳男性、40年以上働いてきたのに老後も「節約続き」のワケ ★3 [首都圏の虎★]
- 【野球】落合博満氏、巨人の新監督に江川卓氏を推す 「オレは1回、江川の野球を見てみたい。一番興味ある」 [冬月記者★]
- 【悲報】パリのリベラルまんさん、デモの集団にすべからく奪われて絶望wwwwwwwwwwwwwwwwwwwwwwwww [398059782]
- 北海道の石油備蓄基地にフェンスをよじ登って侵入する不審者が目撃される。犯人は未だ捕まっていない模様 [152212454]
- くら寿司の🪳混入動画、削除される [931948549]
- 【悲報】だんじり男、とつぜんツタンカーメンの物真似をし始めるwwwwwwwwwwwwwwwwww [398059782]
- 特殊詐欺とか保険詐欺ばかりだけど、日本人の道徳ってこんなもんだったっけ？ [683838391]
- 【高市エンタメ】『映画名探偵プリキュア！』シリーズ単独作品の興行収入で“歴代No.1”に 12.4億超え これプリキュア革命だろ [158478931]