>>601
>ふっ　
>中高一貫生も来るから
>ハッキリと赤ペン書いておく

ぷっ
君、中学校と高校の教員免許　持ってないよね？
じゃ、赤ペン指導はできないよ　法律違反だから　なんちって（笑）

>注釈なしに「順序数」といったとき 普通にZFCで生成できる順序数αに限られる

とはいえない　一般人が、定義に書かれてないこと勝手に妄想してるだけ
そこ、赤ペンで✕つけとくね

>よって Vαも ZFCで生成できるステージVαに限られる
>ノイマン宇宙Vといったときは、ZFCで生成できるステージVαを集めたものになり、
>V自身はZFCの外で 集合には（ZFC内では）できない

君の言い分だと　κはZFCで証明できないから順序数ではないね
つまりVκは存在しない
存在しないVκがVを含むとか、初心者の完全な妄想で、意味ないね
そこ、赤ペンで✕つけとくね

>米田の補題＆米田埋め込み を使いたいんだよ！！（＾＾
>だから、ZFCを少し拡張して
>圏論の舞台として ノイマン宇宙V→グロタン宇宙Uにするんだ
>そうすると 米田の補題＆米田埋め込みが使える範囲が広がる

その舌足らずな言い方　✕ね

ZFCにκの存在公理を追加する　この公理系をZFC+κと書くことにする
ZFC+κのノイマン宇宙Vの中には集合Vκが存在する　V⊃Vκ
そして集合Vκは、君がいうところZFCで生成できる集合は全部含まれる
これが集合でも問題ないのは、VκはZFC＋κの全ての集合を含むわけではないから

いわゆる大きな圏はVκの中の集合として扱えるので問題ない
その程度の他愛もないことで喜ぶのが数学の初歩から知らぬ一般人

あああ、くだらん