本文包含两个部份.其一详论在一定条件下,Ⅰ、Ⅱ型数学归纳原理及良序原理之间的逻辑关系:另一则提供一个关于自然数集N的公理并论......

用模型论的方法证明了一类不定方程a1x^r1^1＋a2x^r2^2＋…＋anx^rn^n=by^s（其中a1,…,an,b为任意整数,r1,…,rn,s为任意正整数）有解.进一......

本文包含两个部份。其一详论在一定条件下，I、Ⅱ型数学归纳原理及良序原理之间的逻辑关系：另一则提供一个关于自然数集N的公理并论证......

本文指出余元希等所著的《初等代数研究》中关于自然数的序数理论的定理 1(自然数的加法是唯一存在的 )证明不妥 ,定理 13(最小数......

数学归纳法作为一种数学解题方法在初等数学中应用很广泛,它分为第一数学归纳法和第二数学归纳法。在高中阶段仅仅介绍第一数学归......