ごめん訂正

訂正前:論理的に正しければ 問題無い
訂正後:数学に正しければ接続詞のニュアンスを逆に訳しても 問題無い

具体的には
「然るにqは〜〜だから」を「ゆえに以上のqは〜〜だから」
と訳している。因みに「qは〜〜」は示すまでもなくすぐ従う命題。

これを数学者はよく「論理的には正しい」というけど
論理的に忠実に訳せているといえるかどうかは相当微妙なところ。