收藏 分享(赏)

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

上传人:a**** 文档编号:484020 上传时间:2025-12-08 格式:DOC 页数:1 大小:11KB
下载 相关 举报
小学数学数学故事算术公理系统的无矛盾性.doc_第1页
第1页 / 共1页
亲,该文档总共1页,全部预览完了,如果喜欢就下载吧!
资源描述

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

展开阅读全文
相关资源
猜你喜欢
相关搜索

当前位置:首页 > 数学

Copyright@ 2020-2024 m.ketangku.com网站版权所有

黑ICP备2024021605号-1