Are there ways to build mathematics without axiomatizing?
48684
Does mathematics become circular at the bottom? What is at the bottom of mathematics?
18764
How to Self-Study Higher Math Without Solutions
131889
Axiom of choice and calculus
139992
Is power-associativity finitely axiomatizable?
5964
Are there areas of mathematics (current or future) that cannot be formalized in set theory?
42517
Is formal truth in mathematical logic a generalization of everyday, intuitive truth?
84378
Does axiom of foundation/regularity protect against Russell-like paradoxes?
49682
What axiomatizations exist for special relativity?
146560
Is there any uncountably infinite set that does not generate the reals?
3663
Finding counterexamples in elementary set theory.
45498
Building a hard to factor number without knowing its factorization
10255
Paradoxes without self-reference?
3902
Does $k+\aleph_0=\mathfrak{c}$ imply $k=\mathfrak{c}$ without the Axiom of Choice?
81509
The cardinality of a countable union of countable sets, without the axiom of choice
141299
Alternative set theories
142219
Does the splitting lemma hold without the axiom of choice?
110957
No non-trivial clopen sets in $\mathbb{R}$? How to give a direct proof?