1≠2 と仮定する。
ここで Ω＝{x|¬x∈x} と置くと、Ω∈Ω ⇔ ¬Ω∈Ω となって矛盾する。
ゆえに 1≠2 という仮定は誤りで、1＝2 が正しい。