Dicha axiomatización es una teoría no categórica y por tanto admite varios modelos no isomorfos, uno de ellos los número reales estándar y otro de ellos identificable con los hiperreales.