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.