欧几里得几何是完备的吗
更新时间：2020-09-24 00:00:00
哥德尔不完备定理并不意味着任何有意义的公理系统都是不完备的。该定理需假设公理系统可以“定义”自然数。不过并非所有系统都能定义自然数，就算这些系统拥有包括自然数作为子集的模型。欧几里得几何可以被一阶公理化为一个完备的系统（事实上，欧几里得的原创公理集已经非常接近于完备的系统。所缺少的公理是非常直观的，以至于直到出现了形式化证明之后才注意到需要它们）。
云一题专稿内容，转载请注明出处
不够精彩？
上一篇 : 小米内存空间不足怎么办设置
下一篇 : 找水仪什么原理的好
热门经验推荐
联系方式：