Sin embargo, el teorema de completitud no dice nada al respecto de la demostración de la completitud de la matemática mediante un sistema formal diferente.