Back New Foundations German Nuevos Fundamentos Spanish New Foundations French New Foundations Hungarian Nuova fondazione Italian 新基礎集合論 Japanese 새 기초 Korean New Foundations Dutch 新基础集合论 Chinese
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.