[ahirbudhnya]

I would suggest OP to take a look at Dedekind's construction of reals using his namesake "cuts". Definitely worth enjoying if this article is any indication in that direction.