以下内容关于《
欧几里得几何是完备的吗
》的解答。
1.哥德尔不完备定理并不意味着任何有意义的公理系统都是不完备的。
2.该定理需假设公理系统可以“定义”自然数。
3.不过并非所有系统都能定义自然数,就算这些系统拥有包括自然数作为子集的模型。
4.欧几里得几何可以被一阶公理化为一个完备的系统(事实上,欧几里得的原创公理集已经非常接近于完备的系统。
5.所缺少的公理是非常直观的,以至于直到出现了形式化证明之后才注意到需要它们)。
总结:以上就是编辑:【伊旖旎】整理原创关于《
欧几里得几何适用于
》优质内容解答希望能帮到您。