[–] ahirbudhnya 6y ago ↗ 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.
1 comment
[ 1.6 ms ] story [ 16.5 ms ] thread