数学基礎論・数理論理学のスレッド その7at MATH数学基礎論・数理論理学のスレッド その7 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト100:99 11/01/04 00:21:11 >>98 すれ違いになっちゃったけど・・・ > 記号、論理式をZFCの考察の対象とすること これ自体は何の違和感も感じてないつもり。 ZFCを拡張してるなんてことも思ってないです。 ごめんなさい。何か決定的な勘違いしてるんじゃないかと不安になってきた。 101:１３２人目の素数さん 11/01/04 03:46:53 >>93 何年か前の数セミでも、PCFは紹介されてた。 102:１３２人目の素数さん 11/01/04 09:17:07 論理式の集まり F があったときにその冪集合の元は別に論理式じゃないんだから 論理式の全体の中でいくら探してもその中に F の冪集合なんか無い訳だけど、 当然の話だし、何も問題ないと思うけどなあ。 論理式の集まりがZFCのモデルになるんじゃなくて ZFC（のモデル）が論理式を扱える、というだけでしょ。 だからZFCの方に論理式を素朴に扱う上で必要の無い余計な公理 がちょっと位付いててもそんなに大きな問題は無いと思うんだけど。 103:ノニ 11/01/04 17:49:14 >>101 そうでしたか。 日本でシェラハがここまで無視されているのは、 なぜなんでしょうか。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch