5 ideas
17832 | Zermelo showed that the ZF axioms in 1930 were non-categorical [Zermelo, by Hallett,M] |
13028 | Replacement was added when some advanced theorems seemed to need it [Zermelo, by Maddy] |
17626 | The antinomy of endless advance and of completion is resolved in well-ordered transfinite numbers [Zermelo] |
16719 | The primary qualities are mixed to cause secondary qualities [Burley] |
1558 | Clearly the gods ignore human affairs, or they would have given us justice [Thrasymachus] |