Ideas from 'Later Letters to Dedekind' by George Cantor [1899], by Theme Structure

[found in 'From Frege to Gödel 1879-1931' (ed/tr Heijenoort,Jean van) [Harvard 1967,0-674-32449-8]].

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


4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
Cantor gives informal versions of ZF axioms as ways of getting from one set to another
                        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.