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
NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Dummett]