Ideas from 'The iterative conception of Set' by George Boolos [1971], by Theme Structure

[found in 'Logic, Logic and Logic' by Boolos,George [Harvard 1999,0-674-53767-x]].

green numbers give full details    |     back to texts     |     expand this idea

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / h. Axiom of Replacement VII