算术公理系统的无矛盾性
来源：本站原创 2005-03-20 08:08:39
欧氏几何的无矛盾性可以归结为算术公理的无矛盾性。希尔伯特曾提出用形式主义计划的证明论方法加以证明，哥德尔1931年发表不完备性定理作出否定。根茨（G.Gentaen，1909-1945）1936年使用超限归纳法证明了算术公理系统的无矛盾性。
相关文章
- 小学1-6年级作文素材大全
- 全国小学升初中语数英三科试题汇总
- 小学1-6年级数学天天练
- 小学1-6年级奥数类型例题讲解整理汇总
- 小学1-6年级奥数练习题整理汇总
- 小学1-6年级奥数知识点汇总
- 小学1-6年级语数英教案汇总
- 小学语数英试题资料大全
- 小学1-6年级语数英期末试题整理汇总
- 小学1-6年级语数英期中试题整理汇总
- 小学1-6年语数英单元试题整理汇总
点击查看更多
