「ならば」の後ろ側(後件)が真なら、全体も真。
「T |- B」が正しいなら、それだけで
「論理式BはTの公理でない⇒T |- B」も正しいから、
おかしくなりようがないと思う。

それとも
・論理式BはTの公理でない⇒T |- B
・論理式BはTの公理である⇒T |- B
の両方が成り立つのは変じゃないかってことかな？ だとしたら、変ではない。