好定义的，并且是 "f"("n") 的一个元素。所以 "f" 是一个无限递降的链。这是一个矛盾，所有这样 "S" 不存在。
<nowiki>确使有序对 (a,b) 可定义为 {a,{a,b}}</nowiki>.这个定义消除了有序对的 Kuratowski 规范定义 ("a","b") = 中的一对花括号。
良基性和超集合.在 1917 年，引入了良基性概念：在 ZFC 中通过正则公理而没有无限递降 ∈序列。实际上，正则公理经常叫做基础公理，因为可以证