0685132人目の素数さん
2019/12/05(木) 19:16:36.16ID:vEgJBXXWhttp://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV.pdf
>there exist infinite ascending chains of universes
>V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
こう書かれると、望月氏は集合論を正しく理解してるのかどうか疑わしくなる
1.V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... という無限列は存在する
2.任意の自然数nについて
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ V という有限列も存在する
3.しかし
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
という"無限列"と書かれると、
「∈ V の左に書かれるものは何ですか?」
と尋ねざるを得ない