What math can't you build off of ZFC?
5964
Are there areas of mathematics (current or future) that cannot be formalized in set theory?
142473
When can you build up all representations from the fundamental and antifundamental ones?
118868
What are the best (portable) cross-platform arbitrary-precision math libraries?
75085
Can hypercomputation compute the impossible?
58602
In ZF, how would the structure of the cardinal numbers change by adopting this definition of cardinality?
100726
Prove that the set of powers of a set, $\{ A^n : n \in \mathbb{N} \}$ exists by using ZFC axioms (without replacement).
119982
how to express the set of natural numbers in ZFC
100759
Extending exponentiation to reals
55199
Number Theory in a Choice-less World
38348
Is ECC over real numbers possible?
78290
Countable axiom of choice: why you can't prove it from just ZF
147924
Math problems that are impossible to solve
137982
Show that $\textbf{ZF}$ shows $\phi$ is $\Delta_1$
72420
Is $\mathbb{N}$ impossible to pin down?
92205
Does Euler formula work for complex $z$?
76974
What ZF axioms does Cantor's diagonal argument require?
73688
Can I use Gödel numbers to make a proof?