>>391
禁止されないならば全ての論理式の変項にラッセル集合を指定可能となり全ての論理式は真偽決定不可能となり論理学は存在不可能となる
数学基礎論・数理論理学 その18 [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
393１３２人目の素数さん
2016/09/23(金) 23:45:24.86ID:ZGT+lCeg■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 坂上忍「なんでアイドルが結婚しちゃいけないのか」「アイドルでトップになりたいんだったら、人権を捨てなきゃいけないのか」 [冬月記者★]
- 「Google Gemini、終了へ👋」――無料ユーザーのFlashモデル、10月9日からFlash-Liteのみに [パンナ・コッタ★]
- 【科学大】👨📢「女子枠！」とキャンパスで揶揄され体が固まった……正当な入試なのに「なぜこんなに批判されるのか」 [パンナ・コッタ★]
- 【サッカー】今夜 キリンカップ決勝「日本対NZ」テレビ朝日が全国生中継！ 解説は松木安太郎＆内田篤人＆柿谷曜一朗 ゲスト 影山優佳 [阿弥陀ヶ峰★]
- 【沖縄】「許せない」「基地を返せ」 強盗殺人事件、沖縄に怒りの声 ★2 [ぐれ★]
- 【神奈川】駐車場でバックしていた乗用車が10歳と2歳を含む親子3人に衝突 父親は重傷 大和市 [ぐれ★]
- 高市早苗、Ｇ７欠席。各国「理由は？」官房長官「明言避ける」😲 [518915984]
- 【緊急高市速報】札幌で灯油新規受注停止 [469534301]
- 【高市悲報】ロシアで未知の感染病がアウトブレイクした模様……どこかの聞いたような話だな🤔 [199590541]
- 【悲報】愛国者、K-POP定番のハートポーズを知らず「日本人侮辱だ！」と勝手に勘違い [834922174]
- 外貨獲得したいジャップ、インバウンドに媚びまくる… [667744927]
- 【悲報】なろう系アニメのキモさ、完全に言語化される！！「前世でイジメられてた主人公が転生したらイキリ男になるのが気持ち悪い」 [839150984]