Editing New Foundations (section)

{{Short description|Axiomatic set theory devised by W.V.O. Quine}}
In [[mathematical logic]], '''New Foundations''' ('''NF''') is a [[non-well-founded set theory|non-well-founded]], [[Axiom schema#Finite axiomatization|finitely axiomatizable]] [[Set theory#Formalized set theory|set theory]] conceived by [[Willard Van Orman Quine]] as a simplification of the [[Type theory|theory of types]] of ''[[Principia Mathematica]]''.