In mathematical logic, New Foundations is an axiomatic set theory, conceived by Willard Van Orman Quine as a simplification of the theory of types of Principia Mathematica. New Foundations has a universal set, so it is a non-well-founded set... Wikipedia