然而,剑气与这道“魂力🌯盾墙”相触的时候,辰风才发现自己小看了📻王崎。
他的盾墙和梨月的剑气一样,🂱💣📭当🈙成土崩瓦解!
调御天地灵气支撑这个盾墙的,是辰风⚳的魂魄之力。也就是说,辰风的灵识与这面盾墙是合二为一的。剑气与盾墙碰撞的时候,辰风的📑🚇👔灵识完整的观察到了这道剑气。
这确实是基础得不能再基础的剑势,但是,这道剑气却是“无矛盾”的,里面蕴含的所有法力都化作了杀敌的威能,没有一分内耗掉!即使有,这种内耗也降到了辰风🞶😪无法察觉的地步!
这是一个非常可怕的事情,因为就像无用功不可避免一样,内耗也是不可避免🃋的,但是王崎就生生斩出了完美一剑!
既然灵气盾墙不行,那么……
辰风的双眼突然光华大作。
眼睛是距离大脑最近的感觉器官,也是和大脑连接得最紧密、神经最密集的部分,对于阳神阁的弟子来说,这就是比🃫双手更好用的施术之物。
一根白色的丝线凭空出现,缠绕在剑气之上,然后轻轻一绞。“嘭”的一声,白色丝线像是遇到热油的火星一般,竖剑化作一团白炎。命之炎吸取了这🝏道剑气的“序”,于是,这道剑气维持🄥⛖🚖不住,自行崩散了。
就在这时,王崎坐了回去。他身边的纸张纷纷飞向桌面,按顺🟣序叠放好。接😲着,王崎开始奋🖮🖂笔疾书。
灵气的波动瞬间强了好几倍。这是⛈😜🂒破境的前兆🐞。🟋🛤🞓
——————————————————
对于普通人来说,1+1就是等于2,没有什么特殊的理由,也不需要理由。这是因为他们只是凭直觉来理解这个系统。数学家追求的是用逻辑的方法来定义它,思考1+1⛫🝓为什么要等于2。
而数学家用来研究🛡🏲这🞸个问题的工具⛈😜🂒,就是皮亚诺公理。
一切几何🚄🐷🄠的基础都在欧几里得公理之内。欧几里得公理就👫如同四大基本力一样🃋,支撑起了整个几何。
而算术体系也有类似的东西。地球人称之为“皮亚诺公理”。皮亚诺公理将整个算🏨🜥🄏术归结为一个有五条公理的系统🕥,这五条公理支撑起了整个算术体系。
那么,这个公理体系完美吗♺🍜?严格的自洽吗?无矛盾吗?👫
这些🎧📛🛤问题的答案都是打问号的。第三次⚳数学危机是集合论的问题,越是基础的部分就越是危机的重灾区。这就是希尔伯特二十三个问题中的第二问:算术公理系统的无矛盾性——欧氏几何的无矛盾性可否归结为算术公理的无矛盾性?
希尔伯♣特本人希望用形式主义计划的证明论方法加以证明,冯诺依曼也也顺着这个角度做了下去。
王崎则是打算顺着冯诺📙依🌯曼的路子接着走下去。
算术系统整个的推演、整理是一个大坑,但是如果只🀵🁌🄖对其下💩面某一个子系统作🃋排除矛盾的证明,那便简单了许多。
当然,这也是相对🛡🏲而言的。有资格参与希尔伯特计划的,只有第一流的数学家。而王崎并没有背下这一篇论文,他只知道结论和大致思路。
这是一场艰难的思考。
他的盾墙和梨月的剑气一样,🂱💣📭当🈙成土崩瓦解!
调御天地灵气支撑这个盾墙的,是辰风⚳的魂魄之力。也就是说,辰风的灵识与这面盾墙是合二为一的。剑气与盾墙碰撞的时候,辰风的📑🚇👔灵识完整的观察到了这道剑气。
这确实是基础得不能再基础的剑势,但是,这道剑气却是“无矛盾”的,里面蕴含的所有法力都化作了杀敌的威能,没有一分内耗掉!即使有,这种内耗也降到了辰风🞶😪无法察觉的地步!
这是一个非常可怕的事情,因为就像无用功不可避免一样,内耗也是不可避免🃋的,但是王崎就生生斩出了完美一剑!
既然灵气盾墙不行,那么……
辰风的双眼突然光华大作。
眼睛是距离大脑最近的感觉器官,也是和大脑连接得最紧密、神经最密集的部分,对于阳神阁的弟子来说,这就是比🃫双手更好用的施术之物。
一根白色的丝线凭空出现,缠绕在剑气之上,然后轻轻一绞。“嘭”的一声,白色丝线像是遇到热油的火星一般,竖剑化作一团白炎。命之炎吸取了这🝏道剑气的“序”,于是,这道剑气维持🄥⛖🚖不住,自行崩散了。
就在这时,王崎坐了回去。他身边的纸张纷纷飞向桌面,按顺🟣序叠放好。接😲着,王崎开始奋🖮🖂笔疾书。
灵气的波动瞬间强了好几倍。这是⛈😜🂒破境的前兆🐞。🟋🛤🞓
——————————————————
对于普通人来说,1+1就是等于2,没有什么特殊的理由,也不需要理由。这是因为他们只是凭直觉来理解这个系统。数学家追求的是用逻辑的方法来定义它,思考1+1⛫🝓为什么要等于2。
而数学家用来研究🛡🏲这🞸个问题的工具⛈😜🂒,就是皮亚诺公理。
一切几何🚄🐷🄠的基础都在欧几里得公理之内。欧几里得公理就👫如同四大基本力一样🃋,支撑起了整个几何。
而算术体系也有类似的东西。地球人称之为“皮亚诺公理”。皮亚诺公理将整个算🏨🜥🄏术归结为一个有五条公理的系统🕥,这五条公理支撑起了整个算术体系。
那么,这个公理体系完美吗♺🍜?严格的自洽吗?无矛盾吗?👫
这些🎧📛🛤问题的答案都是打问号的。第三次⚳数学危机是集合论的问题,越是基础的部分就越是危机的重灾区。这就是希尔伯特二十三个问题中的第二问:算术公理系统的无矛盾性——欧氏几何的无矛盾性可否归结为算术公理的无矛盾性?
希尔伯♣特本人希望用形式主义计划的证明论方法加以证明,冯诺依曼也也顺着这个角度做了下去。
王崎则是打算顺着冯诺📙依🌯曼的路子接着走下去。
算术系统整个的推演、整理是一个大坑,但是如果只🀵🁌🄖对其下💩面某一个子系统作🃋排除矛盾的证明,那便简单了许多。
当然,这也是相对🛡🏲而言的。有资格参与希尔伯特计划的,只有第一流的数学家。而王崎并没有背下这一篇论文,他只知道结论和大致思路。
这是一场艰难的思考。