El segundo teorema de incompletitud limita las posibilidades de demostrar la consistencia de una teoría formal , puesto que no puede hacerse utilizando únicamente la propia .