nLab foundations - contents

foundations

The basis of it all

 Set theory

set theory

Foundational axioms

foundational axioms

Removing axioms

Edit this sidebar

Last revised on November 19, 2022 at 20:22:28. See the history of this page for a list of all contributions to it.