無矛盾の公理的集合は自己の無矛盾性を証明することができない

逆数学 定理から公理を 証明 する ジョン スティルウェル 田中 一之 川辺 治之 本 通販 Amazon

公理的集合論と独立性証明

パラドックス 遊戯王

Konn San Com

2

Lebesgue可測性に関するsoloayの定理と実数の集合の正則性

10分で分かるゲーデルの不完全性定理 いまさら聞けないコンピュータサイエンス 連載第１話 藤田肇 Hajime Fujita Note

意外と不完全性定理に関係あるメモ

涼宮ハルヒの退屈 谷川 流 毎日一冊 Kennie の読書日記

名前 ニックネームも可 On Twitter ハルヒと数学といえば 笹の葉ラプソディでの難台詞 無矛盾な公理的集合論は自己そのものの無矛盾性を 証明できない 当時2chに貼られたものがわかりやすかった 数学では他の命題から証明される 定理 と原初的なルールである

No14