Gödel did have some grounds for paranoia. Wittgenstein [1937-1944] had shown that Gödel failed to prove incompleteness of the foundations of mathematics. Göde

Gödel did have some grounds for paranoia. Wittgenstein [1937-1944] had shown that Gödel failed to prove incompleteness of the foundations of mathematics. Gödel was aware of this failure but tried to bluff past it claiming that his incompleteness result was not for the foundations of mathematics. Contrary to [Gödel 1931], he claimed decades later that his result was for a limited first-order theory of the natural numbers [Wang 1987]. However, the failure may have secretly weighed on his mind. There is more information here: "Gödel failed to prove inferential undecidablity or incompleteness in foundations" https://professorhewitt.blogspot.com/2021/03/godel-failed-to-prove-inferential.html https://professorhewitt.blogspot.com/2021/03/godel-failed-to...