>>699
一階述語理論のZFCで「不定元のような論理式」を扱っている
というのが初心者レベルの誤解なので
一階述語理論としてのZFCの形式化の実態を知った瞬間
膝から崩れ落ちる（笑）
数学基礎論・数理論理学 その19
■ このスレッドは過去ログ倉庫に格納されています
700１３２人目の素数さん
2026/03/22(日) 19:37:00.14ID:SuaEYia+■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【酒】がんの死亡リスク、350mlの缶ビールを1日1本で増加？ アルコール起因のがん死亡数が33年間で2倍に 米国研究 ★2 [煮卵★]
- 【物価高】ドンキ「999円」、イオン「1000円」のジーンズ、やっぱり売れた 格安アパレルの戦略 [煮卵★]
- 【文春】女子アナにチョレイ！ 卓球・張本智和(23) チャラい“DM連続ナンパ” ★2 [Ailuropoda melanoleuca★]
- 【サッカー】塩貝健人は後半41分から出場 PK戦は蹴る前に終了「森保さんに『俺、PK下手そうですか？』って聞いた」 [ゴアマガラ★]
- 岩屋前外相 中国訪問めぐるSNS中傷に大物議員が同情…議員宿舎侵入事件も「ハニトラでもなんでもない」と徹底擁護 平将明氏 [少考さん★]
- 【豆〜】フジテレビ、倉本聰さん追悼番組「北の国から 83冬」10月9日に放送決定「麓郷に沢田松吉(笠智衆という老人がふらりと現れる…」 [征夷大将軍★]
- 【高市悲報】東京のコア消費者物価指数 実績2.7％（予想2.3％、前回1.8％） [733893279]
- デートでたこ焼き屋さんって駄目なの？
- >>3「え～出席をとるぞ。>>5」>>5「はい元気です！」
- 【高市悲報】イランさん、9月中の原油積み込みゼロ 経済崩壊へwwwwwww [199590541]
- 「反AI」を主張する連中はなぜ「人間は学習した内容を使って表現をしてもいいのにAIは同じことをしてはいけない理由」を絶対に言わないの [314039747]
- 【絶望】フォロワー18600人のイラストレーターさん、AIに仕事を奪われ無職にwwwwwwwwwwwwwwwwwwww [802034645]