“Godel's incompleteness theorem, which states that there are propositions in mathematics whose truth is undecidable.”