De
naturliga talen är de
heltal som inte är
negativa (det vill säga 0, 1, 2, 3 och så vidare), alternativt de heltal som är
positiva (alltså 1, 2, 3 och så vidare). Den förra definitionen är vanlig i Sverige och allmänt i matematisk logik, mängdlära och beräkningsvetenskap, medan den senare kan hittas i bland annat amerikansk litteratur och bland talteoretiker.
Mängden av de naturliga talen betecknas
![](http://info.babylon.com/onlinebox.cgi?rt=GetFile&uri=!!EMWNS64ZG6&type=0&index=279)
(ett vanligt
N i fetstil kan även användas).
![](http://info.babylon.com/onlinebox.cgi?rt=GetFile&uri=!!EMWNS64ZG6&type=0&index=279)
är
diskret,
uppräkneligt oändlig och har
kardinalitet Alef-noll (
![](http://info.babylon.com/onlinebox.cgi?rt=GetFile&uri=!!EMWNS64ZG6&type=0&index=188)
).