Go backward to Existence of Real Roots Go up to Top Go forward to

Real Numbers

• Roots of non-negative reals are well defined.
• Axiomatic characterization.
• There are also "constructive" definitions of R.
• We will see later how to "embed" Q into R.