Si todo esto es cierto, entonces la aritmética de Peano sí puede ser reducida a la lógica.