New Foundations
Axiomatic set theory devised by W.V.O. Quine / From Wikipedia, the free encyclopedia
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.