空集?对应0，{?}对应1，{?，{?}}就对应2。如果一切集合，包括无穷集合都有类似的良序，那么，那么就可以实施超越无限的归纳——就和普通的数学归纳一样。
然后，离宗至高成就的“天理体系”【公理体系】，其全部公理，都能够在良基集合之中实现。
这就是冯落衣的命题。
这位天才，先后用两篇论文，完成了这一伟大的论证。
任何证明构造都必须是有穷长度的，关于矛盾的证明也不例外。而无穷公理——自然数无穷集合存在公理，之运用到了后继运算和空集运算。这两个运算，在连宗的算理当中，均有对应。因而，这两个算理，在连宗算理和离宗算理之间，是绝对的。换言之，离宗算理和连宗算理，其实存在着相当程度上的一致内蕴。
这就是两个算理的“绝对性”。
因此，如果无穷公理有矛盾，那么这个矛盾，也会通过一个“有穷”的翻译过程，出现在算理之中。
无穷功能公理，是安全的。
这篇论文一出，便是连宗修士的大面积吐血。
谁都知道，连宗，特别是近代连宗代表的少黎派，就是否认“无穷”与“排中律”的。算君