您的当前位置:主页 > 济公高手心水主论坛 >

数学文化:算术公理系统的无矛盾性

更新时间:2019-07-08

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

  欢迎访问奥数网34166开奖结果您还可以通过手机等移动设备查询小学试题库、小学资源库、小升初动态、重点中学、家庭教育信息等,2019小升初我们一路相伴。[点击查看]


友情链接:
Copyright 2018-2021 主页 版权所有,未经授权,禁止转载。