ABSTRACT

We must now attempt the second task mentioned at the outset of the preceding section, and familiarize ourselves with an important, though easily understandable, example of an absolute proof of consistency. By mastering the proof, the reader will be in a better position to appreciate the significance of Gödel’s paper of 1931.