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