 We give an outline of Gödel’s own proof in his doctoral thesis (Gödel 1929). An essential difference with earlier efforts (discussed below and elsewhere, e.g. in Zach 1999), is that Gödel defines meticulously all the relevant basic concepts.