display all the ideas for this combination of texts
4 ideas
18806 | Frege thought traditional categories had psychological and linguistic impurities [Frege, by Rumfitt] |
17833 | The first-order ZF axiomatisation is highly non-categorical [Hallett,M] |
17834 | Non-categoricity reveals a sort of incompleteness, with sets existing that the axioms don't reveal [Hallett,M] |
17837 | Zermelo allows ur-elements, to enable the widespread application of set-theory [Hallett,M] |