Ideas from 'Set Theory and its Logic' by Willard Quine [1963], by Theme Structure

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
Reducibility undermines type ramification, and is committed to the existence of functions [Linsky,B]