# Tag: type theory

- What do we mean by "the foundations of mathematics"? (01 Nov 2023)

- What is the point of formalising mathematics? (22 Jun 2022)

- Equivalence classes and quotienting (30 Mar 2022)

- Types versus sets (and what about categories?) (16 Mar 2022)

- Is Zermelo-Fraenkel set theory the foundation of mathematics? (26 Jan 2022)

- Undefined values, or what do we get when we divide by zero? (01 Dec 2021)