欧美一级淫片,亚洲一区资源,外国成人直播,在线精品国产亚洲

奧數網
全國站
您現在的位置:奧數 > 小學數學網 > 趣味數學 > 一年級 > 正文

算術公理系統的無矛盾性

來源:本站原創 2008-05-07 18:06:53

智能內容

 

 

    歐氏幾何的無矛盾性可以歸結為算術公理的無矛盾性。希爾伯特曾提出用形式主義計劃的證明論方法加以證明,哥德爾1931年發表不完備性定理作出否定。根茨(G.Gentaen,1909-1945)1936年使用超限歸納法證明了算術公理系統的無矛盾性。

廣告合作請加微信:17310823356

京ICP備09042963號-15 京公網安備:11010802027854

違法和不良信息舉報電話:010-56762110 舉報郵箱:wzjubao@tal.com

奧數版權所有Copyright2005-2021 www.buaa3.com. All Rights Reserved.

主站蜘蛛池模板: 聊城市| 阳泉市| 读书| 东台市| 客服| 蕉岭县| 聂荣县| 富民县| 襄城县| 尚义县| 镇赉县| 博爱县| 新宁县| 华池县| 腾冲县| 潞西市| 句容市| 闽侯县| 灵寿县| 西畴县| 尼木县| 绥江县| 祥云县| 全州县| 城口县| 七台河市| 额尔古纳市| 博乐市| 鄂尔多斯市| 西峡县| 西昌市| 仁布县| 山东省| 荔浦县| 白河县| 城步| 安阳县| 株洲市| 通许县| 宜丰县| 磐安县|