The real numbers

$\mathbb{R}$ = ordered field + completeness.

Completeness is the analysis axiom: it gives limits of monotone sequences, the IVT, the existence of $\sqrt2$.

$\mathbb{Q}$ has "holes" where suprema should be.