自然数一共有三条公理。 a)每个数都有唯一的一个数是它的后继数。 b)没有一个数使数1是它的后继数。 c)每个不等于1的数都有唯一的一个数是它的直接先行者.用两个谓词表达上述三条公理。