Los sistemas numéricos se caracterizan por tener una estructura algebraica (monoide, anillo, cuerpo, álgebra sobre un cuerpo), satisfacer propiedades de orden (orden total, buen orden) y propiedades topológicas y analíticas (densidad, metrizabilidad, completitud) adicionales.