Part (b) of Theorem I is a trivial consequence of part (a), since it is the mark of a consistent system that it doesn’t contain a sentence and its negation. The proof of part (a) is an application of Gödel’s technique of diagonalization. The following are the basic steps described using the anachronistic recourse to a more familiar case and to a modern, streamlined notation.