数学基礎論・数理論理学 その19
■ このスレッドは過去ログ倉庫に格納されています
725１３２人目の素数さん
2026/03/23(月) 15:43:29.09ID:1xL6pXTn 1階のPAだと帰納法の公理に現れるのは具体的な述語たちだけど、2階だと任意の述語についてのひとつの公理にできるみたいな表現力のパワーアップをZFCでは何階でも自動でできるってのが元の話の趣旨じゃないの
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 「追加申し込みは受け付けない」陸上全国大会 締め切り勘違いで中高生8人出場できず 日本陸連が見解 [夜のけいちゃん★]
- 【しゃぶ葉・食べ放題】配膳ロボで「高価格帯コースの肉を横取り」問題再燃 他の客の商品を取ると音声通知、運営元が全店導入へ ★2 [煮卵★]
- 3歳と5歳を連れてアフガニスタンへ 母子旅YouTuber、退避勧告の指摘に「外務省とかあてにならないです〜」と反論 [爆笑ゴリラ★]
- 【テレ朝】太田光、テレビを「オールドメディア」と言うネットの声に憤慨「お前が何言ってんの ！？ 」 [少考さん★]
- 富山県砺波市の給食が話題を呼ぶ ★2 [少考さん★]
- 「早退してくるはずの娘が帰ってこない」路線バスで寝ていた女子高校生が気づかれず⋯車庫に2時間取り残される=静岡 [♪♪♪★]
- 高市「敵国条項撤廃演説！」米中露「戦争する気だ！」簗「自民党以外なら予算削減」自民党「高市に党内滅茶苦茶にされたし失言で降ろすわ [784319933]
- 【実況】博衣こよりのえちえち空の軌跡 the 2nd🧪★4
- 【高市🦎値上げ】最近マルちゃん焼きそばの特売が渋くなってる🍜195円より安くならない [457294144]
- 【激震】維新が連立離脱へ。議員定数削減見送りの公算大。高市自民「消費減税が悲願だからそっち優先せなあかん」 [253245739]
- 【悲報】しゃぶ葉の「国産牛スティール」、ガチで問題になるwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww [683137174]
- 🏰(・o・🍬)んなたんたなん(🍬・o・)🏰