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
(ett vanligt
N i fetstil kan även användas).
är
diskret,
uppräkneligt oändlig och har
kardinalitet Alef-noll (
).