En definitiva, en una teoría formal que sea consistente y completa debe fallar alguna de las hipótesis: o bien no es recursiva y no hay un algoritmo para distinguir los axiomas del resto de fórmulas; o bien no son aritméticas, y no incluyen las propiedades básicas necesarias de los números naturales.