>>669
僕が言いたいことはつまり、

前原の本の書き込みから、
「
A
―　　と　　A→B　　は『Aが証明できればBは証明できる』という点で共通している。
B

つまりその点においては、

A
―　と（A→B）は同値である。
B
」

と要約できるのではないか、と言っており、
それなれば、「『Aが証明できる”ならば”∀xAも証明できる』は『A→∀xAは証明できる』といえるのではないですか」と言っているのです。