Luego, las interpretaciones naturales de los símbolos primitivos son un modelo de la aritmética de Peano.