 In this section, the main lines of the proof of the first incompleteness theorem are sketched. A reader interested in more details can consult the Supplements  (Gödel Numbering  and  The Diagonalization Lemma).