Our website is made possible by displaying online advertisements to our visitors.
Please consider supporting us by disabling your ad blocker.
New Foundations
In mathematical logic, New Foundations (NF) is a non-well-founded, finitely axiomatizable set theory conceived by Willard Van Orman Quine as a simplification of the theory of types of Principia Mathematica.
Previous Page Next Page
