Zermelo Fraenkel Set Theory

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Zermelo Fraenkel set theory with the axiom of choice, commonly abbreviated ZFC, is the standard form of axiomatic set theory and as such is the most common foundation of mathematics. It has a single primitive ontological notion, that of a hereditary well-founded set, and a single ontological assumption, namely that all individuals in the universe of discourse are such sets. ZFC is a one-sorted theory in first-order logic. The signature has equality and a single primitive binary relation, set membership, which is usually denoted . The formula a b means that the set a is a member of the set b (which is also read, "a is an element of b" or "a is in b"). Most of the ZFC axioms state that particular sets exist. For example, the axiom of pairing says that given any two sets a and b there is a new set {a, b} containing exactly a and b. Other axioms describe properties of set membership. A goal of the ZFC axioms is that each axiom should be true if interpreted as a statement about the collection of all sets in the von Neumann universe (also known as the cumulative hierarchy).

Klappentext

High Quality Content by WIKIPEDIA articles! Zermelo-Fraenkel set theory with the axiom of choice, commonly abbreviated ZFC, is the standard form of axiomatic set theory and as such is the most common foundation of mathematics. It has a single primitive ontological notion, that of a hereditary well-founded set, and a single ontological assumption, namely that all individuals in the universe of discourse are such sets. ZFC is a one-sorted theory in first-order logic. The signature has equality and a single primitive binary relation, set membership, which is usually denoted . The formula a b means that the set a is a member of the set b (which is also read, "a is an element of b" or "a is in b"). Most of the ZFC axioms state that particular sets exist. For example, the axiom of pairing says that given any two sets a and b there is a new set {a, b} containing exactly a and b. Other axioms describe properties of set membership. A goal of the ZFC axioms is that each axiom should be true if interpreted as a statement about the collection of all sets in the von Neumann universe (also known as the cumulative hierarchy).