Los objetos descritos por una teoría así forman un modelo no estándar de la aritmética.