Debido a este problema no es posible construir un sistema formal, en la lógica de primer grado, como pretendía Hilbert, a no ser que se tomase un conjunto no recursivo de axiomas.