全序子集formula_75，这里作为下标的指标集不仅可以是自然数，也可以是序数。事实上，所有序数组成一个真类，粗略地说，可以认为序数的数目大于任何集合的基数，formula_7也不例外。所以这个序列终会穷尽，这样就导出了矛盾。上述的序列可以利用超限归纳法构造：formula_77可以选择为formula_7中任意元素，而对于任意一个序数formula_79，定义formula_80，注意formula_81是全序的，所以formula_82的定义是合理的。事实上这个证明的结论略强于佐恩引理：如果