>>164 どうやって計算した？
直感的に計算してない？そりゃ辻褄あわせようとしてやるとそうなるよ。

でも集合がどれも同じたしからさという変な仮定だと、{w1, w2, w3｝＝１（公理）
{w1}= {w1, w2, w3｝＝１（仮定）
こういう感じになる。
これは手続きなんで直感に反する。
だから矛盾を導けるわけ。