N是自然数。

自然数集N是指满足以下条件的***：①N中有一个元素，记作1。②N中每一个元素都能在N中找到一个元素作为它的后继者。③1不是任何元素的后继者。④不同元素有不同的后继者。⑤(归纳公理)N的任一子集M，如果1∈M，并且只要x在M中就能推出x的后继者也在M中，那么M=N。