小于1的自然数是0。自然数概念指用以计量事物的件数或表示事物件数的数；即用数码0，1，2，3，4，……所表示的数；自然数由0开始，一个接一个，组成一个无穷集体。
序数理论是意大利数学家G.皮亚诺提出来的。他总结了自然数的性质，用公理法给出自然数的如下定义：自然数集N是指满足以下条件的集合：
①N中有一个元素，记作1。
②N中每一个元素都能在N中找到一个元素作为它的后继者。
③1不是任何元素的后继者。
④不同元素有不同的后继者。
⑤(归纳公理)N的任一子集M，如果1∈M，并且只要x在M中就能推出x的后继者也在M中，那么M=N。