>>274
独立不可能
集合論を除いた論理学はあらゆる矛盾をラッセルのパラドックスから導く事が可能でいかなる論理式の真偽も決定不可能となる
数学基礎論・数理論理学 その17 [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
276１３２人目の素数さん
2016/09/10(土) 09:42:04.81ID:MG9nU05d■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 「いいの？前科ついちゃうよ」万引きした女子大学生から10万円を脅し取ったか 元コンビニ店長の男（53）逮捕 [煮卵★]
- 大谷翔平、育休でチームを離脱 球団が発表 第2子誕生へ…週末には復帰予定 長女誕生から1年 [(´?ω?｀)知らんがな★]
- ランドセルにくぎ刺される「国に帰れ」など言われ、転校を余儀なくされた海外からの転校生 仙台市教育委員会が「いじめ重大事態」と認定 [煮卵★]
- 【埼玉県警】国道で持ち運び可能なオービス盗まれる 速度取り締まり中 [nita★]
- 東京駅で切符紛失→「3倍払って」と言われ→拒否すると「警察呼ぶ」と言い始め警備5人が包囲… BD選手のトラブル報告にネット紛糾★3 [冬月記者★]
- 【サッカーW杯】決勝Ｔで日本と対戦の可能性あるモロッコ、スコットランドを１-０で下す！ 開始２分の得点が決勝弾に！ [鉄チーズ烏★]
- 【高市悲報】ヒゲの佐藤「東北大学に行きたかったが貧乏なので防衛大に行きました😤」過去の記事が発掘される [359965264]
- 【動画】お前らが付き合えそうなインキャ女がこれwwwwwwww
- 最近の子供って家の中で火を見ることがないらしい
- 焼きそばに入れるべき美味しい具って何？ [242521385]
- 【朗報】大谷翔平、第2子を授かる [404143271]
- 🏡🪐👊😅👊🪐🏡