证明了关于自然数集N的Peano公理系统中的第五条公理（即数学归纳原理）与命题I：A↑1≠b∈N，Е←α∈N∈←．σ（a）=b及命题Ⅱ：{1}∪σ（N）=N三者......

将第一及第二数字归纳原理由自然数集N推广到全序整环Z的子集∑={ay＋b∈Z/y遍历N中诸数，而a,b为∈Z的某二数，且a≠0},得到定理I（第一数......