"k")，其与"S"不相交。但按照 "f" 和 "S" 的定义，"f"("k") 和 "S" 有一个公共元素（就是 "f"("k"+1)）。这是个矛盾，所以不存在这样的 "f"。注意这个论证只有在集合（而非不可定义的类）的情况下才对 "f"适用。继承有限集合V 是满足正则公理的，所以如果你构造V的一个非平凡的超幂，那么它也会满足正则公理，但是，它会包含无限递减的元素序列。例如，假定 "n" 是非标准自然数，则有formula_8 和 formula_9 ，如此类推，对于任何标准的自然数 "k" 有 f