ポスト

ZFC-Inf |- Inf&完備で考える→実在しない 実在するとしたら、  無限集合が実在しないか 完備で考えない ZFC-Inf 上で現実的計算を考えるという事は  そんなに陰謀論的だろうか?

メニューを開く

htmath@htmath1

みんなのコメント

メニューを開く

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

htmath@htmath1

人気ポスト

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