检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:黄崇智[1]
出 处:《内江师范学院学报》2003年第6期59-64,共6页Journal of Neijiang Normal University
摘 要:本文包含两个部份。其一详论在一定条件下,Ⅰ、Ⅱ型数学归纳原理及良序原理之间的逻辑关系:另一则提供一个关于自然数集N的公理并论证它与Peano公理系统的等价性。This paper consists of two parts. One of them deals detailedly with the logical relation between the principle of mathematical induction (type I sa well as type I )and the well-ordering principle under a certain condition and the other introduces an axiom concerning the natural numbers and demonstrates the equivalence between it and the system of Peano axioms.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.63