>>368
φ∈{1,{2}} は偽
こっちは分かるのに？

空集合自身他の集合の要素になれるよ
{2} って集合が {1,{2}} の要素になれるのと同じ

{2} に似せて書くと φ は { } になる
（あまりこういう書き方はしないけど)