小学数学 数学故事 算术公理系统的无矛盾性

《小学数学 数学故事 算术公理系统的无矛盾性》由会员分享，可在线阅读，更多相关《小学数学 数学故事 算术公理系统的无矛盾性（1页珍藏版）》请在金锄头文库上搜索。

算术公理系统的无矛盾性欧氏几何的无矛盾性可以归结为算术公理的无矛盾性。希尔伯特曾提出用形式主义计划的证明论方法加以证明，哥德尔1931年发表不完备性定理作出否定。根茨（G.Gentaen，1909-1945）1936年使用超限归纳法证明了算术公理系统的无矛盾性。