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. == Definition == The well-formed formulas of NF are the standard formulas of propositional calculus with two primitive predicates equality ( = {\displaystyle =} ) and membership ( ∈ {\displaystyle \in } ).
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. == Definition == The well-formed formulas of NF are the standard formulas of propositional calculus with two primitive predicates equality ( = {\displaystyle =} ) and membership ( ∈ {\displaystyle \in } ).
Source: Wikipedia "New Foundations" · CC BY-SA 4.0
Share this article: X · Bluesky