結局これはどっちなんや？
x+1が仮に変数だとして
＞∀x∈ℕ.∃(x+1).x<x+1
これをα変換したら
∀x∈ℕ.∃y.x<x+1
なのか
∀x∈ℕ.∃y.x<y
なのかすら不明瞭
スレタイ 箱入り無数目を語る部屋17
■ このスレッドは過去ログ倉庫に格納されています
754１３２人目の素数さん
2024/03/14(木) 23:40:23.51ID:mKpj542N■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 両足切断された30代女性が意識回復、軽トラックと車に挟まれた事故 40代男を逮捕 東京・世田谷区三軒茶屋 [お断り★]
- 横浜市長選挙 新人の原澤敦美氏が初めての当選確実 NHK [少考さん★]
- 【速報】 ブラックマンデー再来か？ 10月19日に米株暴落の懸念広がる 1987年との類似点と相違点 ★2 [お断り★]
- 【野球】また下剋上 3位・DeNAの日本シリーズ進出に困惑 「邪道」「これでいいのかプロ野球」「ペナントレース勝ち抜いた意味ない」★3 [冬月記者★]
- 【フランス】仏で55万人デモ、暴動や放火 物価高や教育巡り、市庁舎全焼 ★4 [ぐれ★]
- 12歳・田淵結真さんが『ホリプロスカウトキャラバン』グランプリ 祖父は田淵幸一さん 審査員特別賞は小林丞之介さん [少考さん★]
- 【高市悲報】日・本・自・衛・隊の兵器、他国のパクリまみれだったｗｗｗｗｗｗｗ 愛国者どうすんのこれ [165981677]
- ホロライブ4期生とかいうホロライブの良心(・o・🍬)🏰
- 【高市悲報】箱根駅伝、とんでもないことになってしまうｗｗｗｗｗｗ [334972637]
- 【画像】顔はオジサン、服だけ若者『おじさんキッズコーデ』ガチでヤバいwwwwwwwwww [308389511]
- 【高市悲報】ジャップの65%『消費税減税反対』ｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ [527893826]
- 【悲報】ジャスティン・ビーバーさん、妻に托卵され号泣し離婚を決意wwwwwwwwwwwwwwwwwwww [802034645]