Gödel's Proof 
What people are saying  Write a review
User ratings
5 stars 
 
4 stars 
 
3 stars 
 
2 stars 
 
1 star 

Contents
n The Problem of Consistency  8 
in Absolute Proofs of Consistency  26 
The Systematic Codification of Formal Logic  37 
Copyright  
4 other sections not shown
Common terms and phrases
absolute proof algebraic arith arithmetic is consistent arithmetical calculus arithmetical formula asserts axiomatic method axioms of arithmetic belongs Bertrand Russell branches of mathematics cardinal numbers consistency of arithmetic constant signs constructed contain correspond deducible derived elementary constituents elementary signs established Euclid's proof Euclidean geometry Euclidean system example finite number finitistic formal calculus formal logic formal system formalized arithmetic formula G formula with Godel G is demonstrable given Godel number 13 Godel's paper Godel's Proof greater than 1o greatest prime Hilbert immediate successor integer mapping mathematician matical ment meta metamathe metamathematical statement metical mula notation notion obtained parallel axiom parallel postulate prime greater prime number Principia Mathematica problem proof of consistency reader Richard Paradox Richardian Riemannian Riemannian geometry rules of inference sentence sentential calculus sentential connectives sentential variables sequence of formulas set of axioms sistency structure tautology tion Transformation Rules true variable with Godel