Misplaced Pages

The following pages link to Template:Foundations-footer

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

Showing 23 items.

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