Library Home || Full Table of Contents || Library Help
|Developing site for the set theory "New Foundations," first introduced by W.V.O. Quine in 1937. 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. Site contains: introduction; links to New Foundations (NF) fans; definition; the paradoxes; the Big Problem; consistent subsystems; references for this page; and Thomas Forster's exhaustive bibliography.|
|Resource Types:||Link Listings, Articles, Bibliographies|
© 1994- The Math Forum at NCTM. All rights reserved.