Combining Texts

Ideas for 'Mahaprajnaparamitashastra', 'Reply to Hellman' and 'Later Letters to Dedekind'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

1 idea

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets

17831	Cantor gives informal versions of ZF axioms as ways of getting from one set to another [Cantor, by Lake]
	Full Idea: Cantor gives informal versions of the axioms of ZF as ways of getting from one set to another.
	From: report of George Cantor (Later Letters to Dedekind [1899]) by John Lake - Approaches to Set Theory 1.6
	A reaction: Lake suggests that it should therefore be called CZF.