“综上所述，我们可以做出这样的证明……”王崎深吸一口气，讲出了最后的两句话。
“我想，我们可以自豪的宣布，希门二十三问当中最关键的第二问，第十问已经个圆满解决了。算理基础当中，最重要的一致性、完备性、可判定性证明，也已经完成。”
“算学，便要进入一个新的时代了。”
无人鼓掌。
但是，所有人感觉——一场革故鼎新的变动，或许真的要来了……