rAB 皮亚诺的算术构造 皮亚诺从不经定义的“集合”，“自然数 ” “后继者”与“属于”等概念出发，提出了关 于自然数的五个公理： 咒 (1)1是一个自然数： (2)1不是任何其它自然数的后继者； 9咒 (3)每二个自然数a都有一个后继者； 9粥 (4)如果a与b的后继者相等，则a与b也相等 光 (5)若一个由自然数组成的集合S含有1，又若 当S含有任一数a时，它一定也含有a的后继者， 则S就含有全部自然数。皮亚诺的算术构造