display all the ideas for this combination of texts
1 idea
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. |