Commentary by cpressey on FoM works
===================================

<!--
Copyright (c) 2025 Chris Pressey, Cat's Eye Technologies.

SPDX-License-Identifier: CC-BY-ND-4.0
-->

### What is a natural number?


### Most \'unintuitive\' application of the Axiom of Choice?


### Why worry about the axiom of choice?


### How much of the axiom of choice do you need in mathematics?


### What can be preserved in mathematics if all constructions are carried out in ZF?


### Lists as a foundation of mathematics


### Is there any physical or computational justification for non-constructive axioms such as AC or excluded middle?


### Does changing the universe of set theory change the definition of truth?


### Bourbaki\'s definition of the number 1


### The Origin of the Number Zero \| History \| Smithsonian


### How to rewrite mathematics constructively?


### How should a \"working mathematician\" think about sets? (ZFC, category theory, urelements)


### Set theories without \"junk\" theorems?


### foundations - Why hasn\'t mereology succeeded as an alternative to set theory?


### Which is the most powerful language, set theory or category theory?


### Defining the standard model of PA so that a space alien could understand


### ULTRAINFINITISM, or a step beyond the transfinite


### Set-theoretical multiverse and foundations


### New Foundations and weaker forms of choice


### getting rid of existential quantifiers


### Paris--Harrington theorem - Wikipedia, the free encyclopedia


### What sorts of extra axioms might we add to ZFC to compute higher Busy Beaver numbers?


### Are there first-order statements that second order PA proves that first order PA does not?