On 2/27/2014 3:09 PM, Peter Percival wrote: > firstname.lastname@example.org wrote: > >> Why have just these axioms of set theory been chosen? Any idea? > > Zermelo's set theory was axiomatized in the way it was so that he could > prove Cantor's theorem that every set was well-orderable. Cantor's own > proof was not widely accepted. >
And, I am the one accused of being a historian? That's a nice little fact. Do you know where you picked it up?