El sistema axiomático de los números reales. Los números reales forman un conjunto denotado por ℝ, provisto de dos operaciones: la adición (+), la multiplicación (⋅) y una relación de orden (<) “menor que” que verifica los siguientes tres grupos de propiedades básicas (axiomas).