您好、欢迎来到现金彩票网!
当前位置:彩63彩票app下载 > 哥德尔配数 >

小学数学故事:算术公理系统

发布时间:2019-05-14 05:24 来源:未知 编辑:admin

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

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

http://bed-plans.net/gedeerpeishu/247.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有