Gödel did prove that it’s impossible to find all truths.
While Gödel killed HIlbert’s program as a matter of historical fact, it was later Tarski who proved the theorem that truth is undecidable.
While Gödel killed HIlbert’s program as a matter of historical fact, it was later Tarski who proved the theorem that truth is undecidable.