Search results
Results from the WOW.Com Content Network
Von Neumann–Bernays–Gödel set theory (NBG) is a commonly used conservative extension of Zermelo–Fraenkel set theory that does allow explicit treatment of proper classes. There are many equivalent formulations of the axioms of Zermelo–Fraenkel set theory. Most of the axioms state the existence of particular sets defined from other sets.
Together with the axiom of choice (see below), these are the de facto standard axioms for contemporary mathematics or set theory. They can be easily adapted to analogous theories, such as mereology. Axiom of extensionality; Axiom of empty set; Axiom of pairing; Axiom of union; Axiom of infinity; Axiom schema of replacement; Axiom of power set ...
Set theory is also a promising foundational system for much of mathematics. Since the publication of the first volume of Principia Mathematica, it has been claimed that most (or even all) mathematical theorems can be derived using an aptly designed set of axioms for set theory, augmented with many definitions, using first or second-order logic.
The axioms of Zermelo set theory are stated for objects, some of which (but not necessarily all) are sets, and the remaining objects are urelements and not sets. Zermelo's language implicitly includes a membership relation ∈, an equality relation = (if it is not included in the underlying logic), and a unary predicate saying whether an object is a set.
Given the other axioms of Zermelo–Fraenkel set theory, the axiom of regularity is equivalent to the axiom of induction. The axiom of induction tends to be used in place of the axiom of regularity in intuitionistic theories (ones that do not accept the law of the excluded middle ), where the two axioms are not equivalent.
The axiom of constructibility implies the axiom of choice (AC), given Zermelo–Fraenkel set theory without the axiom of choice (ZF). It also settles many natural mathematical questions that are independent of Zermelo–Fraenkel set theory with the axiom of choice (ZFC); for example, the axiom of constructibility implies the generalized continuum hypothesis, the negation of Suslin's hypothesis ...
The axiom schema of specification is characteristic of systems of axiomatic set theory related to the usual set theory ZFC, but does not usually appear in radically different systems of alternative set theory. For example, New Foundations and positive set theory use different restrictions of the axiom of comprehension of naive set theory.
This category is for axioms in the language of set theory; roughly speaking, ones that "talk about sets".Inclusion in this category does not necessarily imply that the axiom in question is an accepted axiom, or that it is believed to be true in the von Neumann universe of sets.