Template:Foundations-footer

From Vigyanwiki

Foundations-footer

Revision as of 15:59, 14 December 2022 by alpha>Sarika (Created page with "{{Navbox | name = Foundations-footer | title = Major topics in Foundations of Mathematics | listclass = hlist | basestyle = backgro...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

v t e Major topics in Foundations of Mathematics
Mathematical logic	Peano axioms Mathematical induction Formal system Axiomatic system Hilbert system Natural deduction Mathematical proof Model theory Mathematical constructivism Modal logic List of mathematical logic topics
Set theory	Set Naive set theory Axiomatic set theory Zermelo set theory Zermelo–Fraenkel set theory Constructive set theory Descriptive set theory Determinacy Russell's paradox List of set theory topics
Type theory	Axiom of reducibility Simple type theory Dependent type theory Intuitionistic type theory Homotopy type theory Univalent foundations Girard's paradox
Category theory	Category Topos theory Category of sets Higher category theory ∞-groupoid ∞-topos theory Mathematical structuralism Glossary of category theory List of category theory topics

Retrieved from ‘https://www.vigyanwiki.in/index.php?title=Template:Foundations-footer&oldid=43559’

Category:

Navboxes using background colours

Hidden categories:

Anonymous

Search

Template:Foundations-footer

Namespaces

More

Page actions

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

Template:Foundations-footer

Navigation

Wiki tools

Page tools

Other projects

Categories