[Revised entry by Thomas Forster on April 2, 2025.
Changes to: Main text, Bibliography]
Quine’s system of axiomatic set theory, NF, takes its name from the title (“New Foundations for Mathematical Logic”) of the 1937 article which introduced it (Quine [1937a]). The axioms of NF are extensionality: [ forall xforall y[x=y leftrightarrow forall z(z in x leftrightarrow z in y)] ]…
Post Views: 2
Read the full article which is published on Stanford Encyclopedia of Philosophy (external link)