【欧几里得几何是完备的吗】哥德尔不完备定理并不意味着任何有意义的公理系统都是不完备的 。该定理需假设公理系统可以“定义”自然数 。不过并非所有系统都能定义自然数,就算这些系统拥有包括自然数作为子集的模型 。欧几里得几何可以被一阶公理化为一个完备的系统(事实上,欧几里得的原创公理集已经非常接近于完备的系统 。所缺少的公理是非常直观的,以至于直到出现了形式化证明之后才注意到需要它们) 。
推荐阅读
- 怎样让几何天气app定时预报天气
- 三氟化氯的几何构型
- 如何画素描几何体四棱柱与四棱柱穿插体
- 怎么做三棱柱
- 轮船简笔画的画法
- 素描几何体圆柱体的画法
- 三棱锥石膏几何体的素描画法
- 素描圆椎石膏几何体的画法
- 素描几何体教程 圆球体的素描超详细画法
- 素描几何体正方体画法步骤图