Trong toán học, các số tự nhiên là các số 0, 1, 2, 3, 4, 5,... Nhìn chung, định nghĩa đầu thường được dùng trong lý thuyết số, trong khi định nghĩa sau được thích dùng hơn trong lý thuyết tập hợp và khoa học máy tính.
Trong tiêu chuẩn của ISO 80000-2 và tài liệu giáo khoa chuẩn của Việt Nam, số tự nhiên được định nghĩa theo kiểu là số nguyên không âm (0, 1, 2, 3, 4,...).