ZFC: Difference between revisions
Jump to navigation
Jump to search
Created page with "ZFC (Zermelo-Fraenkel with choice) is the most common axiomatic system for set theory, which provides a list of 9 basic assumptions of the set-theoretic universe, sufficient to prove everything in mainstream mathematics, as well as being able to carry out ordinal-analyses of weaker systems such as KP and Z2. The axioms are the following: * Axiom of extensionality: two sets are the same if and only if they have the..."
RhubarbJayde (talk | contribs) (Created page with "ZFC (Zermelo-Fraenkel with choice) is the most common axiomatic system for set theory, which provides a list of 9 basic assumptions of the set-theoretic universe, sufficient to prove everything in mainstream mathematics, as well as being able to carry out ordinal-analyses of weaker systems such as KP and Z2. The axioms are the following: * Axiom of extensionality: two sets are the same if and only if they have the...") |
(No difference)
|