0がある性質を満たし、aがある性質を満たせばその後者suc(a)もその性質を満たすとき、すべての自然数はその性質を満たす。
若一个由自然数组成的集合s包含有0，又若当s包含有某一数a时，它一定也含有a的继数，则s就包含有全体自然数。