数学基礎論・数理論理学 その18 [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
334１３２人目の素数さん
2016/09/23(金) 23:10:44.91ID:ZGT+lCeg ラッセル集合を明示的に排除しない全ての命題関数の真理値は決定不可能である
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 坂上忍「なんでアイドルが結婚しちゃいけないのか」「アイドルでトップになりたいんだったら、人権を捨てなきゃいけないのか」 [冬月記者★]
- 【サッカー】今夜 キリンカップ決勝「日本対NZ」テレビ朝日が全国生中継！ 解説は松木安太郎＆内田篤人＆柿谷曜一朗 ゲスト 影山優佳 [阿弥陀ヶ峰★]
- 【沖縄】「許せない」「基地を返せ」 強盗殺人事件、沖縄に怒りの声 ★2 [ぐれ★]
- 【神奈川】駐車場でバックしていた乗用車が10歳と2歳を含む親子3人に衝突 父親は重傷 大和市 [ぐれ★]
- 【科学大】👨📢「女子枠！」とキャンパスで揶揄され体が固まった……正当な入試なのに「なぜこんなに批判されるのか」 [パンナ・コッタ★]
- 【MLB】ドジャース戦の中継で疑問の声「ガラガラじゃない？」 地区S初戦なのに…発表5万人超も「何が起きてる」 [jinjin★]
- 【緊急高市速報】札幌で灯油新規受注停止 [469534301]
- 【悲報】なろう系アニメのキモさ、完全に言語化される！！「前世でイジメられてた主人公が転生したらイキリ男になるのが気持ち悪い」 [839150984]
- 高市早苗、働きすぎ問題 [834922174]
- 友だちほしい
- 【高市🦎糖尿病速報】医療費19,790円💸今月の売上がすべて消えた💸自己注射管理指導料6,500円がボッタクリ [457294144]
- 🫪🪳👴🏿🏡😅🏡🥫⛽🌿