chapter  4
6 Pages

The Systematic Codification of Formal Logic

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.