OpenScience / Software / Mathematics / Set Theory



Set Theory on ProvenMath

(1) precise (strictly formal) statement of the axioms for set theory; (2) proof of the equivalence between the Axiom of Choice and Zorn’s Lemma (3) cardinality theorems and other things Find Set Theory on ProvenMath at: http://www.apronus.com/provenmath/settheory.htm

Share
Posted in Set Theory | Leave a comment