理推演，有些问题必然存在内部矛盾，而另一方认为未来数学一定可以达到完美的公理推演，且不存在矛盾。
双方开始相互较劲，甚至有动手的可能。
最终徐茫站了出来。
在他的理念中，人类的智慧是不可能被完全的公式所代替，比如自己用行为心理学，破解了密码柜的这个过程，是没有任何公式可以表的达。
因此，
对形式系统来言，‘可证明’是可以机械式的来实现，但‘真’则需要进一步的思想去考虑。
可证明的命题一定是真的，但真的命题不一定是可证明的。
很可惜...徐茫的这番言论，并没有起什么效果，反而让双方的矛盾更加扩散，差点没真打起来...
不久，
人群在不欢中散去，而徐茫的麻烦才刚刚开始。
“嘿嘿嘿！”
“以后家里我管钱了呀。”徐茫一脸嘚瑟地看着小曼，得意洋洋地说道：“洗衣做饭拖地都要学会，知道了吗？不然把你买化妆品的钱扣了！”
“哼！”
“你再说一遍，家里谁管钱？”杨小曼不屑地说道：“我有答应过你什么吗？”
徐茫：Σ(°△°|||)︴
不好！
小曼这是打算要翻脸不认人啊！
怎么办？
“我...”
“我有录音。”徐茫打开了手机录音，然后出现了小曼夸下海口的片段。
但是，
在铁一样的证据面前，杨小曼却不为所动，淡然地说道：“这是假的！”
徐茫缩了缩脑袋，他知道小曼这是打算赖账，但又没有什么办法，谁让自己打不过她呢...
想想自己的老妈，
想想过去自己的那些压岁钱，说什么先帮你存着，想要就问妈来拿。
第二天去拿钱，结果被反问，你有压岁钱吗？
唉...
女人呀！
“那我的一