Editing New Foundations (section)

== External links ==
* [http://math.stanford.edu/~feferman/papers/ess.pdf "Enriched Stratified systems for the Foundations of Category Theory"] by [[Solomon Feferman]] (2011)
* [[Stanford Encyclopedia of Philosophy]]:
** [http://plato.stanford.edu/entries/quine-nf Quine's New Foundations] — by Thomas Forster.
** [http://setis.library.usyd.edu.au/stanford/entries/settheory-alternative/ Alternative axiomatic set theories] — by Randall Holmes.
* Randall Holmes: [https://randall-holmes.github.io/nf.html New Foundations Home Page.]
* Randall Holmes: [https://randall-holmes.github.io/Bibliography/setbiblio.html Bibliography of Set Theory with a Universal Set.]
* Randall Holmes: [https://randall-holmes.github.io/Nfproof/newattempt.pdf A new pass at the NF consistency proof]

{{Set theory}}
{{Mathematical logic}}

[[Category:Systems of set theory]]
[[Category:Type theory]]
[[Category:Urelements]]
[[Category:Willard Van Orman Quine]]