Set of natural numbers

The set of natural numbers is the set containing all positive numbers. One way of defining it is using the Peano axioms and the successor function; in this sense, it is the set containing zero that is closed under the successor function of natural numbers.