chapter  7
23 Pages

Gödel’s Proofs

Gödel’s paper is difficult. Forty-six preliminary definitions, together with several important preliminary theorems, must be mastered before the main results are reached. We shall take a much easier road; nevertheless, it should afford the reader glimpses of the ascent and of the crowning structure.