You need to enable JavaScript to run this app.
Expii
Extension: Formal Definition of the Reals - Expii
You may have some intuition for the reals as positions on a number line. Here, we'll try to formalize that into an airtight definition of the reals.