还不赶快来体验!!!
或者说,只有从空集开始构建的集合才被承认为合法集合。
除此之外的集合,都是有问题的,都是被不周之算抽掉了根基的空中阁楼。
无论是有穷集还是无穷集,都必须从“空集”开始。
空集对应0,{}对应1,{,{}}就对应2。如果一切集合,包括无穷集合都有类似的良序,那么,那么就可以实施超越无限的归纳就和普通的数学归纳一样。
然后,离宗至高成就的“天理体系”【zf公理体系】,其全部公理,都能够在良基集合之中实现。
这就是冯落衣的命题。
这位天才,先后用两篇论文,完成了这一伟大的论证。
任何证明构造都必须是有穷长度的,关于矛盾的证明也不例外。而无穷公理自然数无穷集合存在公理,之运用到了后继运算和空集运算。这两个运算,在连宗的算理当中,均有对应。因而,这两个算理,在连宗算理和离宗算理之间,是绝对的。换言之,离宗算理和连宗算理,其实存在着相当程度上的一致内蕴。
这就是两个算理的“绝对性”。
内容未完,下一页继续阅读