
 Set Theory. ZermeloFraenkel Axioms. Russell's Paradox. Infinity. By K.Podnieks 
  The axioms C1, C1' and C2[F] (for all formulas F that do not contain x) and the axiom of choice define a formal set theory C which corresponds almost 100% to Cantor's intuitive set theory (of the "preparadox" period of 187394). 
  The axiom of infinity completes the list of comprehension axioms, which are necessary for reconstruction of common mathematics, i.e. 
  The set theory adopting the axiom of extensionality (C1), the axiom C1', the separation axiom schema (C21), the pairing axiom (C22), the union axiom (C23), the powerset axiom (C24), the replacement axiom schema (C25), the axiom of infinity (C26) and the axiom of regularity (C3), is called ZermeloFraenkel set theory, and is denoted by ZF. 
 linas.org /mirrors/www.ltn.lv/2005.01.29/~podnieks/gt2.html (8496 words) 
