Ideas from 'New Foundations for Mathematical Logic' by Willard Quine , by Theme Structure
[found in 'From a Logical Point of View' by Quine,Willard [Harper and Row 1963,0-06-130566-9]].
Click on the Idea Number for the full details |
back to texts
expand this idea
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
NF has no models, but just blocks the comprehension axiom, to avoid contradictions