Go backward to Existence of Real RootsGo up to TopGo forward to |

- 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**.

Author: Wolfgang Schreiner

Last Modification: November 16, 1999