部分。但是，就是这一部分，让我有了希望，觉得欧几里德的理论有可能成功。”

“是梦想！”一个人笑着插话，引来善意的笑容。

苏业也笑了笑，继续道：“后来，在和亚里士多德讨论逻辑的过程中，我突然有点意识到，从证明的开始到结果之间，如果能有一种强大的方法，让证明相对正确，那么，不就能解决公理化的根本问题吗？”

“但是，直到那时候，我也只是隐约感到亚里士多德讲的有道理。直到看了