idea number gives full details.     |    back to list of philosophers     |     expand these ideas

Ideas of Michael Hallett, by Text

[British, fl. 1996, Professor at McGill University, Montreal.]

1996 Introduction to Zermelo's 1930 paper
p.1209 p.1209 Zermelo showed that the ZF axioms in 1930 were non-categorical
p.1213 p.1213 The first-order ZF axiomatisation is highly non-categorical
p.1215 p.1215 Gödel show that the incompleteness of set theory was a necessity
p.1215 p.1215 Non-categoricity reveals a sort of incompleteness, with sets existing that the axioms don't reveal
p.1217 p.1217 Zermelo allows ur-elements, to enable the widespread application of set-theory
p.1217 p.1217 The General Continuum Hypothesis and its negation are both consistent with ZF