Axioms that are not evident
56191
How to demystify the axioms of propositional logic?
74875
Do we know if there exist true mathematical statements that can not be proven?
83757
Is the following equivalent to the axiom of choice?
157794
Are certain fields of physics axiomatized?
12186
How does predicate logic handle contradictory statements about something that does not exist?
73415
The reason why the existence of inaccessible cardinals cannot be proven in ZFC
64075
Prove that a set of connectives is inadequate
88099
Not $\sigma$-compact set without axiom of choice
4700
Can paraconsistent or other logics make the impossible happen?
5574
Conjectures that have been disproved with extremely large counterexamples?
135656
Why non-measurable sets exist?
10255
Paradoxes without self-reference?
50506
What concept does an open set axiomatise?
104771
Dedekind's cut and axioms
107216
What's so special about the group axioms?
98580
Lebesgue-measurable sets requiring the Axiom of Choice to construct
65895
Irrationality proofs not by contradiction