在的公理,都是有限的。因此,这些公理、这些算符所能够罗列出的陈述,也必定是可数的——无穷可数、道元数零、自然数的个数。就是这么描述的。”
“而这些有可能的陈述,其长度也必然是可数的。而既然还在可数无穷的范畴之内,我们就可以用自然数给它编号。每一个编号都是独一无二的。”
“然后,我们就可以建立一个集合‘中天’。这个集合‘中天’,便是包括了所有有可能陈述的‘编号’。一个公理系统之内,所有有可能的陈述,都必定在这个编号之内。”
……
讲道进行到这里的时候,已经开始脱离绝大多数人所能够理解的范畴了。什么“可数无穷”,什么“基数”、“序数”。这些都已经过他们的理解范畴了。
就连显身现场听王崎讲道的那些逍遥修士,也有几个露出了迷惘之色。
这个少年所说的每一步,他们都可以理解。但是,这些东西凑到一起之后,究竟有什么数学意义?
完全不明白!
更多借助万仙幻境收看这“直播”的今法修。则纷纷头昏脑涨。这看似简单的证明,似乎包含着无穷的魔力,仿佛要将他们的思维拖向一个深渊。
冯落衣不