A természetes számok <unk> 0, 1, 2, 3, és így tovább <unk> 0-val kezdődnek és felfelé haladnak, így minden számnak van utódja. A természetes számokat negatívjaikkal kiterjeszthetjük, hogy minden egész számot adjunk, és tovább kiterjeszthetjük az arányokra, és a racionális számokat adjuk. Ezek a számrendszerek az összeadás, levonás, szorzás és osztás aritmetikájával járnak.
axiomatikus halmazelmélet