[–] ahirbudhnya 5y 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
[ 3.3 ms ] story [ 17.1 ms ] thread