，数学证明也是一样啊，顺推不行，那么，逆推可否？

    ！随后，他直接修改了此前研究中用到过的树递归构造方法，可构造满足rt2?但不满足wkl?的模型（反例），直接否定了原猜想。

    他的核心逻辑就是，通过构造特定递归结构，证明rt2?的系统强度不足以覆盖wkl?，二者不可比，不存在谁更强的关系。

    即：以否定性证明破解了西塔潘猜想，核心是构造反例说明rt2?不包含wkl?，推翻“rt2?强于wkl?”的猜想。

    奋战一个通宵后，他终于完成了该猜想的形式化证明，并用英文撰写好论文，悄悄投给了国际权威的《符号逻辑杂志》。

    数学的世界，总是如此美妙，既是一个人的战斗，也是一个人的狂欢。

    前面孤独地行走了99步，可能看似毫无意义，但只要能完成最后一步的终极跳跃，就能成功登顶一座巍峨的高峰。

    从此，这座高峰上，将永久地留下某一个人的名字，并永久地承受世人的膜拜！

    他没有刻意将自己的证明拿给熊教授等人甄别和讨论，虽然他有九成九的把握，相信自己论证的正确和严谨，但也不敢保证就一定是对的。

    万一事后证明这只是一场空欢喜，其中依然有自己未曾想到的某种逻辑漏洞，那对自己的伤害可能没那么大，无非就是浪费了一点时间。

    但是，对于熊教授这种一直对自己寄予厚望的人来说，绝对是一个沉重的打击。

    秋天注定是一个收获的季节，学校收获了一群军训结束的黝黑新生，马菲菲收获了一个腹中的胎儿。

    而林东升，也将旷世科技和升浅科技的分厂，全都开到了正在蓬勃发展的鹏城，为自己的国际化战略，进一步打下坚实的基础