Por tanto, para establecer la consistencia de un sistema formula_1 se necesita utilizar otro sistema formula_2, pero una prueba en formula_2 no es totalmente convincente a menos que la consistencia de formula_2 ya se haya probado sin emplear formula_1.