O axioma do supremo.

Consequências: não majoração do conjunto dos naturais, propriedade arquimediana, resolubilidade da equação x ² = 2, e consequente existência de números irracionais.

A densidade dos  racionais e dos irracionais em R.