在集合论的观点下，一切数学对象都是集合，包括自然数也是。0其实是φ1是{φ}，2是{φ, {φ}}，3是{φ, {φ, {φ}}}……
自然数集N是指满足以下条件的集合：①N中有一个元素，记作1。②N中每一个元素都能在N中找到一个元素作为它的后继者。③1不是任何元素的后继者。④不同元素有不同的后继者。⑤(归纳公理)N的任一子集M，如果1∈M，并且只要x在M中就能推出x的后继者也在M中，那么M=N。
