沒有最大的自然數。自然數的個數是無限的。
自然數由0開始，壹個接壹個，用以計量事物的件數或表示事物次序，組成壹個無窮的集體。因此只存在最小的自然數，是0，而不存在最大的自然數，因為自然數是無限大的。自然數集是全體非負整數組成的集合，常用N來表示。自然數有無窮無盡的個數。
自然數用以計量事物的件數或表示事物次序的數。即用數碼0，1，2，3，4等所表示的數。表示物體個數的數叫自然數，自然數由0開始，壹個接壹個，組成壹個無窮的集體。自然數有有序性，無限性。分為偶數和奇數，合數和質數等。
自然數的嚴格定義：
自然數不僅是表示量的程度的符號，同時也是表示這個量的有序規律的壹種符號。就是說：自然數是能夠表示同壹屬性事物的程度及其有序規律的壹種符號，並具備表示事物屬性、量的程度、有序規律這三種功能。摘自自然數原本數數論。
自然數集N是指滿足以下條件的集合：①N中有壹個元素，記作0。②N中每壹個元素都能在 N 中找到壹個元素作為它的後繼者。③ 0不是任何元素的後繼者。④ 不同元素有不同的後繼者。⑤（歸納公理）N的任壹子集M，如果0∈M，並且只要x在M中就能推出x的後繼者也在M中，那麽M=N。
基數理論則把自然數定義為有限集的基數，這種理論提出，兩個可以在元素之間建立壹壹對應關系的有限集具有***同的數量特征，這壹特征叫做基數 。這樣 ，所有單元素集{x}，{y}，{a}，{b}等具有同壹基數（用集合的形式表示） ， 記作1 。自然數的加法 、乘法運算可以在序數或基數理論中給出定義，並且兩種理論下的運算是壹致的。