Library Home || Full Table of Contents || Library Help
|Randall Holmes; Boise State University|
|Set theory was introduced by W. V. O. Quine in 1937. This refinement of Russell's theory of types is based on the observation that the types in Russell's theory look the same, as far as one can apparently prove. Mailing list; links to fans; Definition; the Paradoxes; The Big Problem; Consistent subsystems.|
|Math Topics:||Set Theory|
© 1994- The Math Forum at NCTM. All rights reserved.