第243章 举荐特级

 “数学的未来？”，江铭琢磨着这个问题，之前他还从未思考过。 

 沉吟片刻，他开口道：“我觉得数学的未来，就是寻找数学终极。” 

 “数学终极？”，莉雪不解，她还从未听说过这个名词。 

 “是我在我论文中提到的概念。”，江铭解释道：“目前我们在数学上已经有了整整三套逻辑系统，以皮亚诺算数为基础的符号逻辑系统，基于望月新一宇宙际teichmuller理论的基本函数逻辑系统，以及我所开创的以椭圆曲线为基础的数形结合的逻辑系统。” 

 “这些逻辑系统都有着自身易解和难解的问题，这对同一个问题证明的难易程度代表了在更高维度的数学世界中所处的位置，而数学终极就是那个原点...” 

 “我希望能开创一个专门研究逻辑系统的方向，可以叫元数学，就是在这不同逻辑系统的对比研究下，向着数学终极迈进。”，江铭的声音坚定道。 

 “好的，虽然听不太懂，但我会如实把江教授的愿景报道出去的。”，莉雪崇敬道。 

 电话挂断。 

 悦耳的系统提示音随之响起。 

 【叮！检测到新任务：数学终极。】 

 【说明：持有者已经开始对数学终极的概念有所理解，那么就继续沿着这条路走下去吧！】 

 【要求：建立真正完备的逻辑系统。】 

 【奖励：数学学科经验30000点，可分配经验30000点，积分10000点。金色抽奖券*1。】 

 金色抽奖券！江铭露出几分惊讶之色，他还从未得到过如此高等级的抽奖券，这个任务的难度必然极高，甚至不是现在的他有能力解决的。 

 更加令他瞳孔巨震的，则是任务要求里的内容。 

 建立真正完备的逻辑系统，这就是系统对于数学终极的定义吗？ 

 要知道，哥德尔不完备定理已经证明了，任何包含皮亚诺算数的公理体系都是不完备的，这意味着所谓的完备逻辑系统，那个数学终极根本不是能用人类的语言描述出来的。 

 连描述都无从描述，还怎么研究？