nLab
foundations - contents

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |
Revised on November 16, 2012 10:44:41 by David Roberts (192.43.227.18)
Edit | Back in time (8 revisions) | See changes | History | Views: Print | TeX | Source | Included from: foundation of mathematics, axiom of choice, locally small category, Set, set, equality, ETCS, Trimble on ETCS I, Trimble on ETCS II, Trimble on ETCS III, small category, logic, presentation axiom, excluded middle, finite set, constructive mathematics, predicative mathematics, large category, Grothendieck universe, set theory, universe in a topos, hereditarily finite set, decidable equality, inaccessible cardinal, type theory, intuitionistic logic, well-ordering theorem, axiom of infinity, paraconsistent logic, Zorn's lemma, countable choice, universe, SEAR, propositional logic, higher-order logic, structural set theory, preset, ZFC, proposition, predicate logic, elementary embedding, large cardinal, small violations of choice, fully formal ETCS, axiom of multiple choice, WISC, calculus of constructions, measurable cardinal, pure type system, supercompact cardinal, Barr's theorem, intuitionistic mathematics, structurally presented set theory, homotopy type theory, theorem, contents of contents, axiom of separation, proof, continuum hypothesis, 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, typical ambiguity, contradiction, inconsistency, Bishop set, predicative topos, Cantor's paradox, deductive system, ZFA, coinductive type, practical foundation of mathematics, meaning explanation, natural numbers type, Hilbert's sixth problem