Gödel's incompleteness theorems
A. Consider the first theorem and the truth of this first statement “This statement cannot be proved”: proving this first statement would be a contradiction because there would then be a proof for a statement that cannot be proved. For the sake of the consistency of the system, the first statement and hence the first theorem are therefore true but unprovable.