Applications of the Axiom of Regularity to non-set-theoretical Mathematics
48820
Where is axiom of regularity actually used?
20252
The Axiom of Choice and the Cartesian Product.
145820
Mumford's regularity theorem
27600
Gödel's (in)completeness theorems and the axiomatization of Euclidean geometry
122184
De Morgan's laws in logic and set theory
63963
deductive system where the axioms are all the propositions that are not tautology
87451
Construction of matrices under ZFC axioms
118189
Proving the pairing axiom from the rest of ZF
100726
Prove that the set of powers of a set, $\{ A^n : n \in \mathbb{N} \}$ exists by using ZFC axioms (without replacement).
157490
Statements equivalent to the Axiom of Choice
138897
help with some Hilbert style proofs in a propositional logic axiom system.
120064
Proving that without the axiom of choice there is a set with an accumulation point that isn'tthe limit of a convergeant sequence
58447
Is axiom of choice required for there to be an infinite linearly independent set in a (non-finite-dimensional) vector space?
150385
The use of the Axiom of Choice in this proof of the sequence lemma
67259
Can we prove that a bounded closed subset of $\mathbb R^n$ is compact without Axiom of Choice?
140868
Axiomatization of $\mathbb{Z}$ via well-ordering of positives.
141299
Alternative set theories