Esto paralizó el proyecto de Frege de reducir la aritmética a lógica.