Ideas from 'Introduction to Russell's Theory of Types' by Willard Quine [1967], by Theme Structure

[found in 'From Frege to Gödel 1879-1931' (ed/tr Heijenoort,Jean van) [Harvard 1967,0-674-32449-8]].

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 / p. Axiom of Reducibility
The Axiom of Reducibility is self-effacing: if true, it isn't needed