>>675
分出公理は「不定元のような論理式」ではなく
それぞれの確定した論理式φについての話だと思います
数学基礎論・数理論理学 その19
■ このスレッドは過去ログ倉庫に格納されています
676１３２人目の素数さん
2026/03/11(水) 22:01:42.44ID:sbezdeds■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【サッカー】彩艶、神セーブ！森保日本22年W杯以来のPK戦を制した！エクアドルに0－0から [ゴアマガラ★]
- 【野球】セ･リーグ T 2-2 G [10/1] 阪神-巨人は延長12回引き分け 阪神M2 [鉄チーズ烏★]
- 【現場報告】20代女性が心肺停止 その後死亡…JR三ノ宮駅近くで車が次々と歩行者はねる事故 ほか4人が重軽傷 神戸・中央区 [ぐれ★]
- 【酒】がんの死亡リスク、350mlの缶ビールを1日1本で増加？ アルコール起因のがん死亡数が33年間で2倍に 米国研究 [煮卵★]
- 最も信用できない情報源ワースト2 インフルエンサーのSNSが惨敗の理由…信頼するのは「家族の口コミ」「NHKのテレビ」… [少考さん★]
- こめお、「割烹こめを」閉店発表 [爆笑ゴリラ★]
- 【実況】博衣こよりのえちえちホドロリ夜釣りゆる凸待ち🧪★2
- 【悲報】ジャップの経済成長率、G20で１９位 [603416639]
- 柏レイソル🏡
- 【朗報！】高市「積極財政は、国民生活にマイナスにはゼッタイに無い！」と、語る！財源確保に自信示す。世界羨む薔薇色ミライがスグそこ [219241683]
- 【高市悲報】美味しんぼってやたらと「ササニシキ」推してたよね🥺 [616817505]
- 「ファイアーエムブレム 万紫千紅」が糞ゲーらしい [303493227]