Gödel's incompleteness theorems
C. Recall in part A that consistency of the system is why the first statement is true and unprovable. Hence by the truth of the first statement and the conclusion in part B, it follows that the consistency of the system cannot be proved with the axioms of the system. Hence the second theorem is established. The truth of the first theorem is established in part A.