The

**set of basic real numbers**is the D11: Set \begin{equation} \mathbb{R} : = \{ x : x \text{ is Dedekind cut in } \mathbb{Q} \} \end{equation}

▾ Set of symbols

▾ Alphabet

▾ Deduction system

▾ Theory

▾ Zermelo-Fraenkel set theory

▾ Set

▾ Binary cartesian set product

▾ Binary relation

▾ Binary endorelation

▾ Preordering relation

▾ Partial ordering relation

▾ Ordering relation

▾ Ordered set

▾ Dedekind cut

▾ Alphabet

▾ Deduction system

▾ Theory

▾ Zermelo-Fraenkel set theory

▾ Set

▾ Binary cartesian set product

▾ Binary relation

▾ Binary endorelation

▾ Preordering relation

▾ Partial ordering relation

▾ Ordering relation

▾ Ordered set

▾ Dedekind cut

Formulation 0

Let $\mathbb{Q}$ be the D368: Set of rational numbers.

The**set of basic real numbers** is the D11: Set
\begin{equation}
\mathbb{R}
: = \{ x : x \text{ is Dedekind cut in } \mathbb{Q} \}
\end{equation}

The

Also known as

The real number line

Child definitions

Results