Henvis til passagen nedenfor og svar derefter på spørgsmålet på samme sprog som passagen:  Passage: Nogle tilgange definerer udtrykkeligt reelle tal som visse strukturer bygget på de rationelle tal ved hjælp af axiomatisk sætteori. 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, hvilket giver de rationelle tal. Disse talsystemer er ledsaget af aritmetik af addition, subtraktion, multiplikation og division. De omfatter mere subtilt at ordne, så man kan sammenligne et tal med et andet og finde ud af at det er 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