/>
  磨损情况？

  还别说，

  仔细看真的发现略微有些暗淡。

  但是，

  不凑近看根本发现不了，他是怎么看到的？

  “不对呀！”

  “之前你也没有靠近密码柜，你是怎么发现这个问题的？”某一位学生说道：“我站着这么近，都发现不了。”

  “因为你是学霸！”

  “而我过去是学渣！”徐茫突然涌上一股久违的学渣自豪感。

  学渣，

  拥有一种与生俱来的特殊能力，他们的视力非常好，隔着一米的空档，学渣可以凭借瞥一眼的机会，对附近同学们考卷上的答案，进行完美的复制。

  的确，

  不仔细看是发现不了，然而徐茫凭借近十年的经验，准确分辨别出按键上油漆的色差问题。

  不得不说，

  有时候学渣经历还是挺管用的。

  只是...

  在场的人们对徐茫的回答有些迷茫，这学渣和视力还能挂钩？

  在此之后，

  包括徐茫在内的这群极度无聊的数学人士，就数学是否达到完美的公理推演，是否可以保证其内部不存在矛盾，这一系列问题展开了激烈的辩论。

  目前数学是存在公理化的局限性，数学证明的程序有些是无法确定与形式公理的程序相符。

  就以密码柜来言，

  纯粹的数学是不可能得到一个完美的答案，然而依靠人的主观思维能够得到一个完美的解，这个解却无法用数学来表达。

  因此，

  这一群无聊的数学人士形成了两方，一方式认为数学不可能达到完美的公理推演，有些问题必然存在内部矛盾，而另一方认为未来数学一定可以达到完美的公理推演，且不存在矛盾。

  双方开始相互较劲，甚至有动手的可能。

  最终徐茫站了出来。

  在他的理念中，人类的智慧是不可能被完全的公式所代替，比如自己用行为心理学，破解了密码柜的这个过程，是没有任何公式可以表的达。

  因此，

  对形式系统来言，‘可证明’是可以机械