
 Set Theory. ZermeloFraenkel Axioms. Russell's Paradox. Infinity. By K.Podnieks 
  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. 
  set theory, axioms, Zermelo, Fraenkel, Frankel, infinity, Cantor, Frege, Russell, paradox, formal, axiomatic, Russell paradox, axiom, axiomatic set theory, comprehension, axiom of infinity, ZF, ZFC 
  The set theory ZF+AC is denoted traditionally by ZFC. 
 www.ltn.lv /~podnieks/gt2.html (8336 words) 
