nLab
mathematical logic

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |
Revised on November 1, 2012 15:11:56 by Urs Schreiber (131.174.41.102)
Edit | Back in time (3 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: foundation of mathematics, Set, set, equality, ETCS, logic, presentation axiom, constructive mathematics, predicative mathematics, Grothendieck universe, universe in a topos, decidable equality, inaccessible cardinal, type theory, intuitionistic logic, paraconsistent logic, Zorn's lemma, computer science, universe, propositional logic, preset, ZFC, predicate logic, large cardinal, fully formal ETCS, axiom of multiple choice, theory, WISC, calculus of constructions, pure type system, supercompact cardinal, foundations - contents, hyperdoctrine, homotopy type theory, theorem, axiom of separation, proof, sequent, universe polymorphism, logical framework, Burali-Forti's paradox, judgment, Russell's paradox, elementary function arithmetic, second-order arithmetic, proof theory, 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