Ideas from 'Substitutional Classes and Relations' by Bertrand Russell [1906], by Theme Structure

[found in 'Essays in Analysis' by Russell,Bertrand (ed/tr Lackey,Douglas) [George Braziller 1973,0-8076-0699-5]].

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
Axiom of Reducibility: there is always a function of the lowest possible order in a given level [Bostock]