罗素悖论
蒯因原子的存在性（满足"x" = {"x"}的集合），与去除正则性公理的ZFC集合论是独立的（不会导致矛盾）。有很多非良基集合论允许特定的循环属于的集合存在，而不会产生罗素悖论。