Axiom of reducibilityCategory of setsCategory theoryDependent typeFoundations of geometryFoundations of mathematicsHigher category theoryHomotopy type theoryIntuitionistic type theoryMultiverse (set theory)Relationship between mathematics and physicsToposUnivalent foundationsVon Neumann–Bernays–Gödel set theoryZermelo–Fraenkel set theory∞-groupoid∞-topos
Link from a Wikipage to another Wikipage
Axiom of reducibilityCategory of setsCategory theoryDependent typeFoundations of geometryFoundations of mathematicsHigher category theoryHomotopy type theoryIntuitionistic type theoryMultiverse (set theory)Relationship between mathematics and physicsToposUnivalent foundationsVon Neumann–Bernays–Gödel set theoryZermelo–Fraenkel set theory∞-groupoid∞-topos
subject
Wikipage page ID
44,555,438
Wikipage revision ID
966,110,232
wikiPageUsesTemplate
type
label
Foundations of mathematics
@en
prefLabel
Foundations of mathematics
@en