Gödel’s Theorem

Gödel’s theorem is a result about axiomatic systems, which is already a source of some confusion. Wolfgang Beirl has pointed out to me that Goodstein’s Theorem is a result about natural numbers which is undecidable within Peano arithmetic, but provable within stronger set-theoretic systems. Since there are true propositions which cannot be deduced by interesting axiomatic systems, there are results which cannot be obtained by computers, either.

Source: bactra.org