nLab
foundational axiom - contents

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |
Revised on September 4, 2012 04:39:59 by David Roberts (192.43.227.18)
Edit | Back in time (2 revisions) | See changes | History | Views: Print | TeX | Source | Included from: foundation of mathematics, axiom of choice, Set, set, equality, ETCS, logic, presentation axiom, excluded middle, constructive mathematics, predicative mathematics, Grothendieck universe, universe in a topos, decidable equality, inaccessible cardinal, type theory, intuitionistic logic, axiom of infinity, paraconsistent logic, Zorn's lemma, universe, propositional logic, higher-order logic, preset, ZFC, proposition, predicate logic, large cardinal, fully formal ETCS, axiom of multiple choice, WISC, calculus of constructions, pure type system, supercompact cardinal, foundations - contents, homotopy type theory, theorem, contents of contents, axiom of separation, proof, sequent, universe polymorphism, logical framework, Burali-Forti's paradox, judgment, Russell's paradox, foundational axiom, elementary function arithmetic, second-order arithmetic, computation, natural deduction, metalanguage, paradox, contradiction, inconsistency, Bishop set, predicative topos, Cantor's paradox, deductive system, ZFA, coinductive type, practical foundation of mathematics, meaning explanation, natural numbers type