New Foundations

Axiomatic set theory devised by W.V.O. Quine

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.

From Wikipedia, under CC BY-SA. More on occurri.