>>332
>うむ いま Terence Tao“big picture”として 宇宙の包含関係を考える
考えるのはいいけど、君、包含関係の列になる理由を分かってる? ただの受け売り? それは勉強とは言わないよ

>Vo⊂Vk⊂Vk+1⊂・・・
>ここで
>・k,k+1・・などは到達不能基数で
だから間違いだと何度言わせるの? 間違いと指摘されてるんだから最低でも指摘が正しいかくらい確認しなよ 君の性格からして俺様数学やりたいんだろうけどさ

>この順に大きくなり
包含関係の列になる理由を理解してる?

>Vkなどはkを含む宇宙で 到達不能基数kもまた集合である
Vκはκを含まないよ。Vκ:=∪[λ<κ]Vλ だから仮にそうでないとするとλ<κであるようなVλのいずれかがκを持っていることになる。
何も考えずに妄想語るのは数学とは呼べないよ。

>・Voは、到達不能基数を全く含まない 通常基数の宇宙
ある到達不能基数κに対して、一般に「o<κであるような到達不能基数oは無い」は言えない。それが言えるのはκが最小の到達不能基数のときだけ。
「通常」なる馬鹿語は使わない方が良い。君の中の「通常」が他人にとっても「通常」である根拠は1ミリも無い。
Vの階層は階層であって宇宙とは呼ばない。宇宙とは全体という意味だから。

>これより
>・Vk+1が無矛盾ならば それより左のVo、Vkが無矛盾(∵ 包含関係で Vo、Vkが矛盾なら Vk+1が矛盾を含むので 背理法成立)
まずVk+1は集合であって、集合単体に矛盾も無矛盾も無い。
Vk+1が、ある理論のモデルである場合もモデル単体に矛盾も無矛盾も無いが、モデルが存在する理論は完全性定理により無矛盾。
君がどういう意味で「Vk+1が無矛盾」と言ってるのか不明なので主張全体としても何を言ってるのか不明。

>・κの存在証明が不可能は、良いだろう
良くない。
何の仮定も無しにはいかなる命題も証明できないことは理解できる?
ある命題の証明可能性を語るときどんな仮定(公理)からかを言わなければ意味を為さない。君の発言はナンセンス。

もう初歩の初歩の初歩からダメ。一から勉強してください。数学を手っ取り早く理解する近道なんてありません。