6 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] |
19406 | I strongly believe in the actual infinite, which indicates the perfections of its author [Leibniz] |
20752 | For man, being is not what he is, but what he is going to be [Ortega y Gassett] |
20756 | Instead of having a nature, man only has a history [Ortega y Gassett] |