巨大数探索スレッド14at MATH巨大数探索スレッド14 - 暇つぶし2ch849:132人目の素数さん 18/12/18 10:10:35.36 7Jech1xH.netそもそもよく分かってないんだが、 まず東方巨大数のルールでは確かZFCは無矛盾だけを仮定していて、ZFCの中でゲーデル数で形式言語を作って、その言語でZFC自身のモデルを扱っているという認識なんだけど、 その上で二階述語論理でしか表現できないZFCのモデルって直感的にはあるようには思えないな こういうのってどういう本で勉強したらいいかも良く分からないから合ってるか分からん 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch