What are some interesting implications of Gödel's incompleteness theorem, i.e. that there are things in mathematics that are true, that mathematics will never be able to prove as being true?