List questions from foundations | MathQa

Is math fool-proof?

Published on 12 Jan 2025 - 19:15

Is there any solution to Frege's criticisms of Hilbert's Geometry without the application of Model Theory?

Published on 12 Jan 2025 - 23:43

Multiplication in $\mathbb{N}$ from two simple laws

Published on 05 Jan 2025 - 9:36

$\mathbb{Z}$: Unique operation s.t. $1\star m=m$ and right distributivity hold?

Published on 12 Jan 2025 - 23:32

Minimal foundations for Cardinal Arithmetic

Published on 27 Dec 2024 - 17:54

The diagonal product of the family $\{f_\alpha:\alpha\in I\}$ is injective.

Published on 06 Jan 2025 - 1:00

What is the right model of this set?

Published on 01 Jan 2025 - 23:49

Is it possible to formulate category theory without set theory?

Published on 06 Jan 2025 - 0:09

Was Ramsey mistaken in thinking that the same proposition can be both elementary and non-elementary in form?

Published on 03 Jan 2025 - 17:30

Intensional vs. extensional equality (or something like this)

Published on 12 Jan 2025 - 23:34