> The greatest logician since Aristotle
Not to diminish Gödel's work, but the greatest logician since Aristotle was clearly Gottlob Frege, the inventor of modern predicate logic.
One might gently recommend reading the "Political and social views" section on Frege's wikipedia entry before hitching your hot-take wagon to that particular horse.
You’re going to need to prove that one