Template
:
Foundations-footer
From WikiProjectMed
Jump to navigation
Jump to search
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
Categories
:
Navboxes using background colours
Foundations of Mathematics navigational boxes
Navigation menu
Personal tools
Not logged in
Talk
Contributions
Log in
Namespaces
Template
Talk
English
Views
Read
View source
View history
More
Search
Navigation
Main page
Recent changes
Random page
Donate
Donate
Projects
Wiki Project Med
Community pump
List of articles
Translation
Internet-in-a-Box
Offline app
VideoWiki
OWID
Calculators
Tech
Common links
Import tool
Editors
Upload file
Med updater
Create redirects
Import history
Other projects
Commons
NC Commons
Tools
What links here
Related changes
Special pages
Printable version
Page information
In other languages
فارسی
日本語
Português
తెలుగు