An amusing example of Godel's Theorem This statement is true, but there is no way to prove it in any consistent formal system. Proving it will render the system inconsistent, and thus useless.