FoM

philosophy of mathematics - What is a natural number? - Philosophy Stack Exchange

• url: https://philosophy.stackexchange.com/questions/106389/what-is-a-natural-number

.

lo.logic - Most \'unintuitive\' application of the Axiom of Choice? - MathOverflow

• url: https://mathoverflow.net/questions/20882/most-unintuitive-application-of-the-axiom-of-choice

.

lo.logic - Why worry about the axiom of choice? - MathOverflow

• url: https://mathoverflow.net/questions/22927/why-worry-about-the-axiom-of-choice

.

set theory - How much of the axiom of choice do you need in mathematics? - MathOverflow

• url: https://mathoverflow.net/questions/452509/how-much-of-the-axiom-of-choice-do-you-need-in-mathematics

.

reference request - What can be preserved in mathematics if all constructions are carried out in ZF? - MathOverflow

• url: https://mathoverflow.net/questions/430838/what-can-be-preserved-in-mathematics-if-all-constructions-are-carried-out-in-zf

.

reference request - Lists as a foundation of mathematics - MathOverflow

• url: https://mathoverflow.net/questions/456649/lists-as-a-foundation-of-mathematics

.

lo.logic - Is there any physical or computational justification for non-constructive axioms such as AC or excluded middle? - MathOverflow

• url: https://mathoverflow.net/questions/323616/is-there-any-physical-or-computational-justification-for-non-constructive-axioms/323754#323754

.

lo.logic - Does changing the universe of set theory change the definition of truth? - MathOverflow

• url: https://mathoverflow.net/questions/464234/does-changing-the-universe-of-set-theory-change-the-definition-of-truth

.

set theory - Bourbaki\'s definition of the number 1 - MathOverflow

• url: https://mathoverflow.net/questions/357498/bourbakis-definition-of-the-number-1

.

The Origin of the Number Zero | History | Smithsonian

• url: https://www.smithsonianmag.com/history/origin-number-zero-180953392/

.

ct.category theory - How to rewrite mathematics constructively? - MathOverflow

• url: https://mathoverflow.net/questions/381908/how-to-rewrite-mathematics-constructively

.

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

• url: http://mathoverflow.net/questions/255820/how-should-a-working-mathematician-think-about-sets-zfc-category-theory-ur

.

set theory - Set theories without \"junk\" theorems? - MathOverflow

• url: http://mathoverflow.net/questions/90820/set-theories-without-junk-theorems/90945#90945

.

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

• url: http://mathoverflow.net/questions/58495/why-hasnt-mereology-succeeded-as-an-alternative-to-set-theory

.

logic - Which is the most powerful language, set theory or category theory? - Mathematics Stack Exchange

• url: https://math.stackexchange.com/questions/1639982/which-is-the-most-powerful-language-set-theory-or-category-theory

.

set theory - Defining the standard model of PA so that a space alien could understand - MathOverflow

• url: https://mathoverflow.net/questions/332247/defining-the-standard-model-of-pa-so-that-a-space-alien-could-understand

.

ULTRAINFINITISM, or a step beyond the transfinite - MathOverflow

• url: http://mathoverflow.net/questions/100981/ultrainfinitism-or-a-step-beyond-the-transfinite

.

Set-theoretical multiverse and foundations - MathOverflow

• url: http://mathoverflow.net/questions/78018/set-theoretical-multiverse-and-foundations

.

New Foundations and weaker forms of choice - MathOverflow

• url: http://mathoverflow.net/questions/81577/new-foundations-and-weaker-forms-of-choice

.

getting rid of existential quantifiers - MathOverflow

• url: http://mathoverflow.net/questions/90324/getting-rid-of-existential-quantifiers
• topics: FoM, Logic

.

Paris--Harrington theorem - Wikipedia, the free encyclopedia

• url: https://en.wikipedia.org/wiki/Paris%E2%80%93Harrington_theorem

.

lo.logic - What sorts of extra axioms might we add to ZFC to compute higher Busy Beaver numbers? - MathOverflow

• url: https://mathoverflow.net/questions/380971/what-sorts-of-extra-axioms-might-we-add-to-zfc-to-compute-higher-busy-beaver-num

.

set theory - Are there first-order statements that second order PA proves that first order PA does not? - MathOverflow

• url: https://mathoverflow.net/questions/366580/are-there-first-order-statements-that-second-order-pa-proves-that-first-order-pa
• topics: FoM, Incompleteness

.