结构的基础是集合。集合的概念较为简单,它只涉及集合、元素以及元素属于集合这种简单关系。它不讨论元素和元素之间的关系,而元素与元素之间以及元素与子集合、子集合与子集合之间的各种关系,这就是结构。这个结构,完全可以成为数学的框架,将之统一起来。
王崎现在所说的,实际上就是现代数学的基础之一,布尔巴基学派的指导纲领。
布尔巴基学派是一个对现代数学有着极大影响的数学家的集体。其中大部分是法国数学家。他们的活动从20世纪30年代中期开始,曾先后在数学杂志上发表过一些文章,编写了多卷集的《数学原理》,是数学发展史上最重要的学派之一。
在某种意义下,布尔巴基学派和哥廷根学派一样,堪称数学学派的典范。哥廷根学派是“博”,它的辉煌从高斯到外尔一直延续了接近两百年,涉及领域几乎囊过了整个数学。而布尔巴基则是“深”,它近乎完美地完成了自己时代赋予它的在创造新数学和推动整个数学发展的任务。
冯落衣倾听片刻之后,脸上首度显露出惊异之色:“这个思路很好。”
逍遥的眼光何其高?能得他一个好字,便已足以让许多万法门弟子觉得死而无憾了。
王崎没有太过明显的情绪波动。他很清楚冯落衣赞的并不是自己本身,而是自己背后那个伟大的学派。他接着说道:“将所有算学汇集于一门是我的理想,然后我的研究思路也是这样的,用结构性的方法整理算学,吃透算学。完备率对我而言属于意外所得。”
“原理如此。”冯落衣点点头,没说什么。
在这场问答之中,王崎颠倒了因果。实际上布尔巴基学派的成果多少都是建立在哥德尔的基础上的,王崎则是自称根据布尔巴基的纲领得出哥德尔的莅临,从逻辑上也不是说不过去。但是,冯落衣还是有疑问:“那么你为什么不使用更加直观可信的归纳原则?超限法的根基稳固吗?”
“我的水平还不足以支撑我在短时间内将之完成,但我至少希望完成一部分,让我能够证明一下自己的道路。所以明知是绕路,我也要先看一看结果。”
对于王崎的回答,冯落衣并不如何满意,但这还在能够接受的范围之内。他点点头,挥退了王崎。
另一边,看完冯落衣全程转播的画面之后,希柏澈陷入了沉默。然后他才苦笑:“真是了不得的天才啊。”
艾克蛮问道:“那么师父,这几篇论文……”
“想不到我居然要靠自己不完全赞同的东西来应敌。”希柏澈一时间感到很挫败。不过很快他就重新振奋精神:“不过,王崎的理念倒是给了我一些新的想法。他的路子和我们其实很接近的,他完不成的东西,也许可以靠我们来完成。”
冯落衣提出异议:“但是我们最终的目标是证明算学自身的稳固。”
“这是一个将算学公理化的思路,很不错。”希柏澈指向算君的论文:“而且我们只是拨出一个月的时间来做这件事。一个月之后我们依旧按照我们自己的步调走。”