1、哥德尔不完备定理并不意味着任何有意义的公理系统都是不完备的。
2、该定理需假设公理系统可以“定义”自然数。
3、不过并非所有系统都能定义自然数，就算这些系统拥有包括自然数作为子集的模型。
4、欧几里得几何可以被一阶公理化为一个完备的系统（事实上，欧几里得的原创公理集已经非常接近于完备的系统。
5、所缺少的公理是非常直观的，以至于直到出现了形式化证明之后才注意到需要它们）。
© 版权声明
本信息内容为用户上传，不代表本网观点。其原创性以及文中陈述文字和内容未经本站证实，对本文以及其中全部或者部分内容、文字的真实性、完整性、及时性本站不作任何保证或承诺，请读者仅作参考，并请自行核实相关内容。 如遇侵权请及时联系本站删除。
相关文章
暂无评论...
量子科技网导航收录了国内外数百个不同类型的AI工具，每日更新和添加最新AI工具，量子科技网还推荐了AI学习开发的常用网站、框架和模型，帮助你加入人工智能浪潮，自动化高效完成任务！