On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Results: 1



#Item
1Principia 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

On Formally Undecidable Propositions of Principia Mathematica

Add to Reading List

Source URL: jacqkrol.x10.mx

Language: English - Date: 2013-09-21 05:15:44
UPDATE