Page history
1 September 2023
31 August 2023
C7X
May sound like ZF proves Banach-Tarski
+8
C7X
Citation for name needed
+19
RhubarbJayde
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..."
+2,588