38 ideas
| 15924 | Predicative definitions are acceptable in mathematics if they distinguish objects, rather than creating them? [Zermelo, by Lavine] |
| 17608 | We take set theory as given, and retain everything valuable, while avoiding contradictions [Zermelo] |
| 17607 | Set theory investigates number, order and function, showing logical foundations for mathematics [Zermelo] |
| 10870 | ZFC: Existence, Extension, Specification, Pairing, Unions, Powers, Infinity, Choice [Zermelo, by Clegg] |
| 13012 | Zermelo published his axioms in 1908, to secure a controversial proof [Zermelo, by Maddy] |
| 17609 | Set theory can be reduced to a few definitions and seven independent axioms [Zermelo] |
| 13017 | Zermelo introduced Pairing in 1930, and it seems fairly obvious [Zermelo, by Maddy] |
| 13015 | Zermelo used Foundation to block paradox, but then decided that only Separation was needed [Zermelo, by Maddy] |
| 13486 | Not every predicate has an extension, but Separation picks the members that satisfy a predicate [Zermelo, by Hart,WD] |
| 13020 | The Axiom of Separation requires set generation up to one step back from contradiction [Zermelo, by Maddy] |
| 13487 | In ZF, the Burali-Forti Paradox proves that there is no set of all ordinals [Zermelo, by Hart,WD] |
| 18178 | For Zermelo the successor of n is {n} (rather than n U {n}) [Zermelo, by Maddy] |
| 13027 | Zermelo believed, and Von Neumann seemed to confirm, that numbers are sets [Zermelo, by Maddy] |
| 9627 | Different versions of set theory result in different underlying structures for numbers [Zermelo, by Brown,JR] |
| 458 | Nothing could come out of nothing, and existence could never completely cease [Empedocles] |
| 5112 | Empedocles says things are at rest, unless love unites them, or hatred splits them [Empedocles, by Aristotle] |
| 13209 | There is no coming-to-be of anything, but only mixing and separating [Empedocles, by Aristotle] |
| 16700 | In order to speak about time and successive entities, the 'present' must be enlarged [Wycliff] |
| 16701 | To be successive a thing needs parts, which must therefore be lodged outside that instant [Wycliff] |
| 457 | Substance is not created or destroyed in mortals, but there is only mixing and exchange [Empedocles] |
| 462 | One vision is produced by both eyes [Empedocles] |
| 22765 | Wisdom and thought are shared by all things [Empedocles] |
| 1524 | For Empedocles thinking is almost identical to perception [Empedocles, by Theophrastus] |
| 552 | Empedocles said good and evil were the basic principles [Empedocles, by Aristotle] |
| 589 | 'Nature' is just a word invented by people [Empedocles] |
| 21823 | The principle of 'Friendship' in Empedocles is the One, and is bodiless [Empedocles, by Plotinus] |
| 2680 | Empedocles said that there are four material elements, and two further creative elements [Empedocles, by Aristotle] |
| 6002 | Empedocles says bone is water, fire and earth in ratio 2:4:2 [Empedocles, by Inwood] |
| 13207 | Fire, Water, Air and Earth are elements, being simple as well as homoeomerous [Empedocles, by Aristotle] |
| 13218 | The elements combine in coming-to-be, but how do the elements themselves come-to-be? [Aristotle on Empedocles] |
| 459 | All change is unity through love or division through hate [Empedocles] |
| 13225 | Love and Strife only explain movement if their effects are distinctive [Aristotle on Empedocles] |
| 460 | If the one Being ever diminishes it would no longer exist, and what could ever increase it? [Empedocles] |
| 5090 | Maybe bodies are designed by accident, and the creatures that don't work are destroyed [Empedocles, by Aristotle] |
| 466 | God is pure mind permeating the universe [Empedocles] |
| 461 | God is a pure, solitary, and eternal sphere [Empedocles] |
| 1719 | In Empedocles' theory God is ignorant because, unlike humans, he doesn't know one of the elements (strife) [Aristotle on Empedocles] |
| 1522 | It is wretched not to want to think clearly about the gods [Empedocles] |