The subject of the home page which is developing here is the set theory "New Foundations", first introduced by W. V. O. Quine in 1937. This is a refinement of Russell's theory of types based on the observation that the types in Russell's theory look the same, as far as one can apparently prove.
Les axiomes de ZF. Axiome du choix. Axiome de dÃ©termination.
Zermelo-Fraenkel Axioms Basic Knowledge Representation in First Order Logic Axioms Of Zermelo Fraenkel Set Theory With Choice Scientific American: Ask the Experts: Mathematics
This list of preprint-pages run by set theorists was derived from Set theorists
This list of homepages of set theorists was inspired by Computability Theory