第28章（7 / 36）

比另一种更基本。看起来，它们是对某种基本理论的不同近似，而且在不同的情形下成立。人们探索了这个基本理论，但是迄今毫无成就。因为哥德尔指出，不可能用单独的一组公理系统来表述算术。我相信这儿的情形不可能比