まあ、さらに突っ込むと、

『「証明は正しい」ならば「間違いを指摘されることはない」』は真であるが、
このことからその逆『「間違いを指摘されることはない」ならば「証明は正しい」』を真であるとすることはできない。

この事例からも、高木が論理を理解していないことは明白。
だから、「論文の論理が間違っている」という指摘を高木が理解することはできない。