Sasha, why doesn’t it follow from the Deduction Theorem?
Because assuming Provable(C)->C as a hypothesis doesn’t allow you to prove C. Rather, the fact that a proof exists of Provable(C)->C allows you to construct a proof of C.
Sasha, why doesn’t it follow from the Deduction Theorem?
Because assuming Provable(C)->C as a hypothesis doesn’t allow you to prove C. Rather, the fact that a proof exists of Provable(C)->C allows you to construct a proof of C.