実際問題、高木のように背理法で証明できたとしても、今の数学界じゃ評価されないよね？
誇張でもなんでもなくさ。
だって数学者が興味あるのは、なぜ存在しないのか、どういう理屈・要因で存在しないのかだもん。
背理法で存在しないことが証明されても、ああやっぱりなで終わりでしょう。