![Peano axioms / Axiom / Metamath / Mathematical proof / Principia Mathematica / Intuitionistic logic / Propositional calculus / Consistency / Function / Logic / Mathematics / Mathematical logic Peano axioms / Axiom / Metamath / Mathematical proof / Principia Mathematica / Intuitionistic logic / Propositional calculus / Consistency / Function / Logic / Mathematics / Mathematical logic](https://www.pdfsearch.io/img/6004964e864c1078bb8a7a73bd9179fa.jpg)
| Document Date: 2010-01-14 11:31:16 Open Document File Size: 468,39 KBShare Result on Facebook
City Berlin / / Company Russell / / IndustryTerm axiom systems / / Person Hubert Proof-theory / / / Position author / / ProgrammingLanguage J / /
SocialTag |