自然數（參考ISO 80000-2和ISO 2382中所採用的定義）
指非負整數為免歧義有時也直接以非負整數代替自然數使用。
數學中代表以自然數組成的集合。
自然數集是一個可數的，無上界的無窮集合。
非零自然數即指正整數。
自然數可用於計數（如：桌子上有「三」個蘋果）和定序（如：國內「第三」大城市）。
0是自然數；
每一個確定的自然數a，都有一個確定的後繼數a' ，a' 也是自然數；
對於每個自然數b、c，b=c若且唯若b的後繼數=c的後繼數；
0不是任何自然數的後繼數；
任意關於自然數的命題，如果證明：它對自然數0是真的，且假定它對自然數a為真時，可以證明對a' 也真。那麼，命題對所有自然數都真。