# Tag: set theory

- Wetzel's problem and the continuum hypothesis (27 Apr 2022)

- Integrating Zermelo-Fraenkel set theory with higher-order logic (06 Apr 2022)

- Equivalence classes and quotienting (30 Mar 2022)

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

- The hereditarily finite sets (23 Feb 2022)

- Formalising mathematics in set theory (02 Feb 2022)

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

- The axiom of choice and descriptions (10 Nov 2021)