Is there a possibility that ZFC is inconsistent and, if it is, do we have to throw out our old proofs?
37585
What would happen if ZFC were found to be inconsistent?
4182
What are some classic fallacious proofs?
58602
In ZF, how would the structure of the cardinal numbers change by adopting this definition of cardinality?
23406
How do I convince someone that $1+1=2$ may not necessarily be true?
91698
Proofs of consistency for two formal systems
127733
How to prove De Morgan’s laws without using contradictions
149064
Referee says the proof is wrong, but it is not, what to do?
31212
The existence of the empty set is an axiom of ZFC or not?
130028
Why is a statement "vacuously true" if the hypothesis is false, or not satisfied?
74875
Do we know if there exist true mathematical statements that can not be proven?
111723
Can it be proven in $\sf ZF^{\neg\infty}$ that the sets $x_n=\{x_{n+1}\}$ do not exist?
6396
If two limits don't exist, are we sure the limit of sum doesn't exist?
135957
Why in an inconsistent axiom system every statement is true? (For Dummies)
123166
Check the statements about irreducibility
141496
Could someone make the proof into a hinted exercise?
98537
What is wrong with the proof?
127391
Why are mathematical proofs that rely on computers controversial?