１≠２ と仮定する。
ここで Ω={x|¬x∈x} と置くと、Ω∈Ω から ¬Ω∈Ω が導かれ、逆に ¬Ω∈Ω
から Ω∈Ω が導かれるので矛盾である。
　ゆえに背理法により １≠２ という仮定は誤りであり、１＝２ が証明された。