河海大学《离散数学》课件-第8章自然数和基数.pptxVIP

第八章 自然数和基数; 自然数和归纳法; 自然数的引进方法; 自然数构造的出发点;集合的后继;引理 1 设 A 为任意集合， 则 i) ?＋ = { ? } ； ii) { ? }＋ = { ?, { ? } }； iii) A ∈ A＋； iv) A ? A＋； v) A＋ ≠ ? 。;构造自然数系统＜N，+，·＞ 冯 ? 诺依曼（Von Neumann）方案： ; 自然数集合 N（归纳定义法） ; 大于/小于、加法、乘法;引理 2 若 n∈ N，则 ∪ n＋ = n 。;按上述方法构造出来的自然数系统 ＜N, +, ·＞ 满足以下的皮亚诺 ( Peano ) 公理： P1：0∈ N ； P2：若 n∈ N ，则有唯一的后继 n＋∈ N ； P3：若 n∈ N ，则 n＋ ≠ 0； P4：若 n, m∈N 且 n＋ = m＋， 则 n = m； P5：若 S ? N 满足 （归纳原理） i) 0∈S ii) 如果 n∈S，则 n＋∈S 则 S = N 。;证明： P1，P2 和 P5 分别为自然数集 N 归纳定义法的 i), ii)