0691132人目の素数さん垢版 | 大砲2019/12/06(金) 06:35:32.35ID:a5FaM1Ty >>685 >1.V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... という無限列は存在する >2.任意の自然数nについて V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ V という有限列も存在する IUTに必要な性質が上記2点ならa∈aは必要ないがそれでよいのか?