Peano公理系统不完备性的证明——非传统数论研究 李英杰 【期刊名称】《中国科技纵横》 【年(卷),期】2011(000)002 【摘 要】Godel于1931年发表的不完备性定理:.初等数论的真命题中至少有户个不可能从Peano系统中得到证明","被誉为是20世纪最深刻的数学定理"在与这篇论文发表相隔分别为72年、78年后的今天,我国数论专家潘承洞潘承彪在其所著<初千数论>中说:"自然数严格的抽象定义是由Pean.公理给出的,它刻画了自然数的本质属性,并导出有关自然数的所有运算和性质"."所有"明显是与Gbdel不完备性定理,与作者在本文中严格证明的数论中所没有的九个自然数性质的实践相悖的. 【总页数】12页(P316-327) 【作 者】李英杰 【作者单位】广东医学院数学与计算机科学教研室,广东湛江,524023 【正文语种】中 文 【相关文献】 1.非传统数论研究——费尔马猜想、PRC猜想、哥德巴赫猜想、斋藤慎二猜想等四个猜想的同时证明 [J], 李英杰 2.Peano公理系统不完备性的再证明——费尔马猜想成立 [J], 李英杰 3.形式Peano算术的G(o)del不完备性定理的一个简单证明 [J], 秦一明 4.非传统数论研究——李英杰猜想的证明 [J], 李英杰 5.Goldbach猜想对于Peano公理组的条件独立性─—对一些数论问题的逻辑讨论(Ⅰ) [J], 王世强 因版权原因，仅展示原文概要，查看原文内容请购买 本文来源：https://www.wddqw.com/doc/d989134f954bcf84b9d528ea81c758f5f71f294d.html