Axioms and Definitions
21374
What is exactly the difference between a definition and an axiom?
12449
How to formulate continuum hypothesis without the axiom of choice?
155207
Confusion regarding one formulation of the Axiom of Choice.
151356
Need Hints Prove "$((\neg \alpha \to \alpha) \to \alpha) $" Using Axiom 1,2,3 and MP and deduction theorem
140868
Axiomatization of $\mathbb{Z}$ via well-ordering of positives.
31212
The existence of the empty set is an axiom of ZFC or not?
157490
Statements equivalent to the Axiom of Choice
45623
Axiom of Choice: What exactly is a choice, and when and why is it needed?
43503
Bases of complex vector spaces and the axiom of choice
146261
Difference between topology and sigma-algebra axioms.
157794
Are certain fields of physics axiomatized?
153634
A statment about the equivalence between the Axiom of Choice and the surjectivity of the projections.
131889
Axiom of choice and calculus
126862
Confused about $x \notin x$ example in Axiom of Specification
20252
The Axiom of Choice and the Cartesian Product.
40291
What's the point of the axiom of extensionality?
142840
Open axioms of equality