正則性公理のの部分が任意の論理式に拡張できてどうこうだったのだけれども。

よく分からなくなることがあるからちょっと解いておこう。 というクラスを考える。とする。 が示せればいい。 この二つが異なったとすれば、最小元が存在するがそれが0でもnon-zeroでも矛盾。