Misplaced Pages

The following pages link to Template talk:Foundations-footer

• (link count
• transclusion count
• sorted list) · See help page for transcluding these entries

Showing 23 items.

• Category theory (links | edit)
• Set (mathematics) (links | edit)
• Category of sets (links | edit)
• Natural deduction (links | edit)
• Foundations of mathematics (links | edit)
• Intuitionistic type theory (links | edit)
• Formal system (links | edit)
• Dependent type (links | edit)
• Determinacy (links | edit)
• Constructive set theory (links | edit)
• Higher category theory (links | edit)
• Hilbert system (links | edit)
• Axiom of reducibility (links | edit)
• Topos (links | edit)
• Structuralism (philosophy of mathematics) (links | edit)
• Homotopy type theory (links | edit)
• ∞-groupoid (links | edit)
• ∞-topos (links | edit)
• Univalent foundations (links | edit)
• User:Tompw/templates (links | edit)
• User:Tompw/maths templates (links | edit)
• User:Y-S.Ko/Wikipedia course/Mathematics (links | edit)
• Template:Foundations-footer (links | edit)