Los números reales usados comúnmente en la resolución de problemas de análisis matemáticos satisfacen dichos axiomas, así como todos los teoremas lógicamente deducibles a partir de dichos teoremas mediante las reglas de deducción de dicho lenguaje formal.