ABSTRACT
There are two more bridges to cross before entering upon Gödel's proof itself. We must indicate how and why Whitehead and Russell's Principia Mathematica came into being; and we must give a short illustration of the formalization of a deductive system—we shall take a fragment of Principia—and explain how its absolute consistency can be established.
