En efecto, pues si formula_171 no fuera un conjunto bien fundado, entonces, si formula_242, formula_243 no es un minimal, y por lo tanto existe otro elemento formula_244 tal que formula_245.