New Foundations (NF) is a system of set theory introduced by W.V.O. Quine in the 1930s. It was an attempt to provide an alternative to Zermelo-Fraenkel set theory (ZF), which is the most commonly used formal foundation for mathematics. NF differs from ZF primarily in its treatment of sets and its axioms, specifically allowing for a more intuitive approach to set formation.
Articles by others on the same topic
There are currently no matching articles.