| |
Willard van Orman Quine Guest Book Volume 1 by Douglas Boynton Quine |
 | | NF is known to disprove the axiom of choice (Specker, 1954). |
| | NFU (New Foundations with extensionality weakened to allow urelements) is consistent and consistent with Choice (as long as Russell's type theory is consistent. |
| | On my web site one can find my draft set theory text using NFU. |
| www.wvquine.org /guestwq1.html (12316 words) |
