Seleccionar un conjunto no recursivo de axiomas supone un gran problema puesto que se desconoce la manera de verificar si una fórmula es o no un axioma y por tanto si una fórmula podemos tratarla o no como un axioma, o lo que es lo mismo, si una demostración es o no válida.