摘要: >> 皮亚诺(Peano)公理 定义自然数 公理2.1 0是一个自然数. 公理2.2 若n是自然数, 则n++也是自然数. 公理2.3 0不是任何自然数的后继, 即对于每个自然数n , 都有n++ ≠ 0. 公理2.4 不同的自然数必有不同的后继者; 也就是说, 若n, m是自然数且n≠m, 则n+ 阅读全文
posted @ 2016-12-24 15:00 Comcx 阅读(238) 评论(0) 推荐(0) 编辑