Ideas from 'Introduction to Russell's Theory of Types' by Willard Quine [1967], by Theme Structure
[found in 'From Frege to Gödel 18791931' (ed/tr Heijenoort,Jean van) [Harvard 1967,0674324498]].
green numbers give full details 
back to texts

expand this idea
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
18170

The Axiom of Reducibility is selfeffacing: if true, it isn't needed
