green numbers give full details | back to texts | unexpand this idea
17831 | 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. |