ゲーデルの不完全性定理により数学敗北

このエントリーをはてなブックマークに追加
139 ：１３２人目の素数さん：
＞命題Ｙが真でありかつ偽である
＞ということは論理的にあり得るか？

ありうる。ZF(C)やGBにおける連続体仮説がそれ。