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

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