De naturlige tal <unk> 0, 1, 2, 3, og så videre <unk> begynder med 0 og fortsætter opad, så hvert tal har en efterfølger. Man kan udvide de naturlige tal med deres negativer for at give alle de heltal, og for yderligere at udvide til forhold, der giver de rationelle tal. Disse talsystemer er ledsaget af aritmetik af addition, subtraktion, multiplikation og division. Mere subtilt, de omfatter ordning, så et tal kan sammenlignes med en anden og findes at være mindre end, større end eller lig med et andet tal. Spørgsmål: Hvilken teori bruger de til at definere reelle tal?
aksiomatisk sætteori