Sin embargo esto no invalida el teorema, puesto que afirma su indemostrabilidad relativa a la teoría .