The need of Axiom of regularity
48820
Where is axiom of regularity actually used?
142219
Does the splitting lemma hold without the axiom of choice?
126870
Show that axiom of replacement implies from the Axiom of Specification [Proof Verification]
53025
Why the need of Axiom of Countable Choice?
113863
The non-existence of non-principal ultrafilters in ZF
54957
The necessary and sufficient condition for a unit element in Euclidean Domain
102048
Closure of a compact set in Regular space $ X $
121847
Don't we need the axiom of choice to choose from a non-empty set?
13661
Axiom of Regularity allows for this set be an element of itself
45623
Axiom of Choice: What exactly is a choice, and when and why is it needed?
138897
help with some Hilbert style proofs in a propositional logic axiom system.
47838
Lemma 3.3-7 and Theorem 3.6-2 in Kreyszig's "Introductory Functional Analysis With Applications": What if completeness is lost?
38840
Tightness and Inner Regularity
142840
Open axioms of equality
65346
Characterisation of uniformly continuous function
82169
Why does a partially ordered set need to be reflexive?
84378
Does axiom of foundation/regularity protect against Russell-like paradoxes?