Dear all,

I'm wondering whether there are any other examples of Gödel's incompleteness theorem in action other than statements such as "this statement is not true" (i.e. formalizations of the liar's paradox)?

If not: then how exactly is his theorem relevant in the broader field of mathematics, seeing that only very specific kinds of metamathematical statements are involved?