New Foundations is the axiomatic set theory in Quine's 1937 article "New Foundations for Mathematical Logic"; it simplifies the theory of types of Principia Mathematica.

New Foundations is the axiomatic set theory in Quine's 1937 article "New Foundations for Mathematical Logic"; it simplifies the theory of types of Principia Mathematica.