( rpsoft | 2017. 02. 15., sze – 16:57 )

https://en.wikipedia.org/wiki/Construction_of_the_real_numbers

Kb. a fenti linken található, "Synthetic approach" c. fejezetben lévő axiomatikára gondoltam.