Other formalizations of the claim that F is consistent may be inequivalent in F, and some may even be provable.
En particular, diferentes formalizacións da afirmación de que T é consistente pode ser inequivalente en T, e algúns poden incluso ser demostrables.