材自学完了。
但是反推数学，却是数理逻辑中一个研究方向，是前沿应用。
事实上，与一般的数学实践不同。
反推数学不是从公理推导出定理，而是通过‘反推’来寻找证明该定理的公理。
这是二十世纪数学基础与哲学中一项影响深远的研究计划——希尔伯特纲领的重要组成部分。
秦缦缦心里掀起了滔天巨浪，高中的竞赛生，完全没必要，或者说不可能去接触到二阶算术的。
望着她因惊讶张大的小嘴，卿云不觉小腹一热。
他舔了舔嘴唇，赶紧扭过头去，淡淡的说着，
“又不难，无非是把数理逻辑这门课的教材看看而已。
你也知道，在竞赛上，我也没啥对手，当时也是无聊，就看了看反推数学。”
秦缦缦闻言有些无语。
臭哥哥，在我面前凡是吧！
卿云继续说着，“去年我见你在画六芒星，就知道你在研究西塔潘猜想。
我琢磨了一个多月，正面我是没法证明的，当时想着打完竞赛就试试反推的。
我很怀疑，西塔潘猜想是错的。”
说罢，他转过身来戏谑的看了她一眼，
“你信不信，要是当初我没事，这个问题我已经攻破了。”
反正吹牛又不上税，这种事情死无对证的。
秦缦缦很想白他一眼，但是心里却是有些发毛。
其实她这小半年里对此也有一点猜测。
证明不了的数学猜想，一种是没有想出证明方法的，如哥德巴赫猜想。
但是这种猜想肉眼可见是正确的，不过数量很少。
另外一种就是浩如烟淼的其他猜想。
这种猜想很可能穷尽数学家的一生，或者上百年无数数学家的一生，最后得出一个否定的结论。
秦缦缦越想越觉得烦躁，留下一句“吃饭的时候喊我”便掀开身上的凉被，噔噔噔的向着自己房间跑去。
卿云瞥了一眼，觉得今天中午自己还是不够努力，这妮子居然腿上还有劲儿？！
可他也没办法，还没彻底圆房，榫卯结构还没建立好，她安心要挣脱他还真没办法。
不过，也好，给这婆娘找点事做。
(本章完)