Why can't unproven conjectures/hypothesis assumed to be axioms in mathematics?
17480
Meaning of the word "axiom"
88736
How does the Axiom of Extensionality prove the uniqueness of Specified sets?
148237
Is ¬¬(¬¬P → P) provable in intuitionistic logic?
153935
A weaker Axiom of Infinity?
56191
How to demystify the axioms of propositional logic?
28452
Statement that is provable in $ZFC+CH$ yet unprovable in $ZFC+\lnot CH$
103154
Is there a *simple* example of how the axiom of choice can lead to a counterintuitive result?
32441
How to prove or disprove statements about sets
148790
Basic question about proofs with the goal $\exists x P(x)$
49453
Why do I have to solve for $x$ in this proof, if I choose not to find a counterexample?
143026
what's the wrong when we use Euclid logic to prove the twin prime conjecture?
130865
Why is the axiom of choice separated from the other axioms?
32950
Fake induction proofs
48030
Axiom of Choice: Where does my argument for proving the axiom of choice fail? Help me understand why this is an axiom, and not a theorem.
157794
Are certain fields of physics axiomatized?
49385
Proving $\forall x (A\to B) \to(A \to \forall x B):x\notin \mbox{free}(A)$ in a Hilbert system where it is not an axiom
121474
What are the differences between hypothesis, supposition, assumption, postulate, and axiom?