A aquellos modelos que no fueron originalmente planeados se los llama "modelos inintencionales" ("non-intended models"), y existen infinitos modelos inintencionales de la aritmética de Peano.