Inter-universal geometry と ABC予想 42

[691 １３２人目の素数さん 2019/12/06(金) 06:35:32.35 ID:a5FaM1Ty]

>>685
>１．V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... という無限列は存在する
>２．任意の自然数nについて
　　V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ V　という有限列も存在する

IUTに必要な性質が上記２点ならa∈aは必要ないがそれでよいのか？