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.