When do we have equality in the third axiom of valuations?
2687
How do I compute the discrete valuation of the sum of two elements
50506
What concept does an open set axiomatise?
102202
The smallest infinity and the axiom of choice
54262
When are infinities okay?
132423
Non trivial valuation over a finite extension $F/\mathbb{Q}_p$ is equivalent to the one induced by $v_p$
5313
Existence of how many sets is asserted by the axiom of choice in this case?
101709
Explaining the meaning of equality
93040
$f$ is surjective iff it has a right inverse: using the axiom of choice and errors in ProofWiki
18287
Distinction between equality, logical equivalence and biconditionality.
126633
Is a contradiction enough to prove a set equality to $\varnothing$?
139505
Peano/Presburger axioms - "find" numbers lower or equal than another number
2342
How does equality $\mathfrak{m}^\mathfrak{m} = 2^\mathfrak{m}$ in $\sf{ZF}$ relate to the axiom of choice?
155207
Confusion regarding one formulation of the Axiom of Choice.
104771
Dedekind's cut and axioms
138897
help with some Hilbert style proofs in a propositional logic axiom system.
53101
Is it true that the relation |A| < |B| is a sufficient condition for claiming that $f$ is a bijection?
142219
Does the splitting lemma hold without the axiom of choice?