Luonnolliset luvut <unk> 0, 1, 2, 3, ja niin edelleen <unk> alkavat 0:sta ja jatkavat ylöspäin, joten jokaisella numerolla on seuraaja. Luonnollisia lukuja voidaan laajentaa negatiivineen antamaan kaikki kokonaislukuja ja laajentamaan edelleen suhteisiin antamalla rationaaliset numerot. Näihin lukujärjestelmiin liittyy yhteenlaskun, vähentämisen, kertoamisen ja jakamisen aritmeettisuus. Hienoimmin ne sisältävät järjestämisen, jotta yhtä lukua voidaan verrata toiseen ja todeta olevan pienempi, suurempi tai yhtä suuri kuin toinen luku. Kysymys: Mitä teoriaa he käyttävät määrittämään reaalilukuja?
aksiomaattinen joukkoteoria