El interés de este resultado estriba en que la teoría de la adición y la multiplicación para números naturales, según demostraron Church y Gödel, no es decidible; por tanto, en la teoría completa de los números reales no puede establecerse si un número real es natural —esto sería contradictorio con los resultados de Gödel y Church—.