>>212
スレタイに関連するから書いておくと
ZFCは、一階述語論理で使えるものを最小限にしている
存在例化が、最小限に含まれているか否か
そこの問題
分かってないでしょwww
なぜ、ZFC公理まで遡らなくても数学が出来るの？
■ このスレッドは過去ログ倉庫に格納されています
213１３２人目の素数さん
2024/12/04(水) 10:05:56.67ID:U5RJOIS1■ このスレッドは過去ログ倉庫に格納されています
ニュース
- ガーシー「なんで刺青入ってたらサウナあかんの？」「外国人はOKってとこおかしない?」「もーファッションの一部になってきてるのに」★2 [冬月記者★]
- 自民、人口減少巡り「外国人」「少子化」政策など提言へ…外国人の受け入れ総量規制が論点に ★2 [首都圏の虎★]
- 【フランス】仏で55万人デモ、暴動や放火 物価高や教育巡り、市庁舎全焼 [ぐれ★]
- 【東京】トラックが女性に衝突 女性は両足切断で意識不明 三軒茶屋 [煮卵★]
- 「こんなの国民をバカにしてますよ！」 年金月14万円・72歳男性、40年以上働いてきたのに老後も「節約続き」のワケ ★3 [首都圏の虎★]
- 【共産党】共産主義に「独裁的な抑圧社会」印象を懸念 山添拓氏、綱領改定で「レッテルはがしたい」★2 [煮卵★]
- 衛星利用制限 トランプさん｢知らん関係無い｣ マスク氏提案か トランプ大統領も同意と英誌 [737440712]
- 【動画】フランス🇫🇷でルイヴィトン・エルメス・セリーヌの店舗が次々と襲撃され略奪されてしまう… [668024367]
- (´..･ω･..`)おはようございます
- ぼくとセックスしてそうな名探偵プリキュアキャラ
- 【悲報】福岡「日本第3位の都市はウチたい！」横浜「いやオレだべ！」→結果WWWWWWWWWW [732289945]
- 【悲報】コロンビア大学名誉教授「日本は国民がしっかりしているから、政治が貧弱なままでいられる」⇦3.4万いいね [404143271]