Sommige benaderings definieer eksplisiet reële getalle as sekere strukture wat op die rasionele getalle gebou is, met behulp van aksiomatiese stelteorie. Die natuurlike getalle <unk> 0, 1, 2, 3, en so aan <unk> begin met 0 en gaan opwaarts, sodat elke getal 'n opvolger het. 'n Mens kan die natuurlike getalle met hul negatiewe uitbrei om al die heelgetalle te gee, en om verder uit te brei na verhoudings, wat die rasionele getalle gee. Hierdie getalsstelsels word vergesel deur die rekenkunde van optelling, aftrekking, vermenigvuldiging en verdeling. Meer subtiel, hulle sluit bestelling in, sodat een getal met 'n ander vergelyk kan word en gevind kan word dat dit minder as, groter as of gelyk is aan 'n ander getal. Vraag: Watter teorie gebruik hulle om werklike getalle te definieer?
aksiomatiese versamelingsteorie