In de wiskundige logica zijn de New Foundations of NF, Nederlands: Nieuwe grondslagen, een axiomatische verzamelingenleer, die door Willard Van Orman Quine is opgesteld als een vereenvoudiging van de typetheorie uit de Principia Mathematica. Wikipedia