应当说,冯落衣找到了全新的思路。
他们宣称,集合论之前的思路都有问题。
不应该从“全部”,而是应该从“无”之中入手。
所有的“集合”,都必须从“空集”开始,进行构建。
或者说,只有从空集开始构建的集合才被承认为合法集合。
除此之外的集合,都是有问题的,都是被不周之算抽掉了根基的空中阁楼。
无论是有穷集还是无穷集,都必须从“空集”开始。
空集(一个圈+一撇)对应0,{(一个圈+一撇)}对应1,{(一个圈+一撇),{(一个圈+一撇)}}就对应2。如果一切集合,包括无穷集合都有类似的良序,那么,那么就可以实施超越无限的归纳——就和普通的数学归纳一样。
然后,离宗至高成就的“天理体系”【zf公理体系】,其全部公理,都能够在良基集合之中实现。
这就是冯落衣的命题。
这位天才,先后用两篇论文,完成了这一伟大的论证。
任何证明构造都必须是有穷长度的,关于矛盾的证明也不例外。而无穷公理——自然数无穷集合存在公理,之运用到了后继运算和空集运算。这两个运算,在连宗的算理当中,均有对应。因而,这两个算理,在连宗算理和离宗算理之间,是绝对的。换言之,离宗算理和连宗算理,其实存在着相当程度上的一致内蕴。
这就是两个算理的“绝对性”。
因此,如果无穷公理有矛盾,那么这个矛盾,也会通过一个“有穷”的翻译过程,出现在算理之中。
无穷功能公理,是安全的。
这篇论文一出,便是连宗修士的大面积吐血。