Axiom 1. (Axiom of extensionality.) … Every set is determined by its elements. … [p. 202] Axiom II. (Axiom of elementary sets … ) There exists a (fictitious) set, the null … there exists a set {a} containing a and … always exists a set {a,b} containing as elements … Axiom of separation [Every propositional function on a domain defines a subset of the domain] … Axiom of the power set … Axiom of the union … [p. 204] Axiom of choice … it is always possible to choose a single … [of a set of sets] and to combine all the chosen elements … into a set … Axiom of infinity … There exists in the domain at least one … [and for] each of its elements a it also …
Google-1
Google-2
Copyright clearance needed for quotation.