<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2013-09-21 05:15:44Principia Mathematica Axiom On Formally Undecidable Propositions of Principia Mathematica and Related Systems Kurt Gödel Theorem Rule of inference Peano axioms Metamathematics Formal proof Logic Mathematics Mathematical logic |
Add to Reading List |
On Formally Undecidable Propositions of Principia Mathematica | On Formally Undecidable Propositions of Principia MathematicaDocID: 4OIi - View Document |