>>671
同値じゃないよ。
A→Bから『Aが証明できればBは証明できる』は言えるけど逆は言えない。
理論TでAが証明できるという仮定をおくことと、Tに仮定Aを追加することは違う。