ポスト

「完備で考えるのは常識」という大前提で ZFC |- 完備で考える→φ  だから『φは現実的に正しい』 これは「論理の飛躍」だと思ってる。

メニューを開く

htmath@htmath1

みんなのコメント

メニューを開く

むしろ、現実 |= ZFC-Inf は認めてもいいけれど 現実 |= Inf & 完備代数の存在 は『甚だ疑問』。

htmath@htmath1

人気ポスト

もっと見る
Yahoo!リアルタイム検索アプリ