16 ideas
| 5988 | Anaximander produced the first philosophy book (and maybe the first book) [Anaximander, by Bodnár] |
| 17892 | For clear questions posed by reason, reason can also find clear answers [Gödel] |
| 1496 | The earth is stationary, because it is in the centre, and has no more reason to move one way than another [Anaximander, by Aristotle] |
| 9188 | Gödel proved that first-order logic is complete, and second-order logic incomplete [Gödel, by Dummett] |
| 10620 | Originally truth was viewed with total suspicion, and only demonstrability was accepted [Gödel] |
| 17883 | Gödel's Theorems did not refute the claim that all good mathematical questions have answers [Gödel, by Koellner] |
| 17885 | Gödel eventually hoped for a generalised completeness theorem leaving nothing undecidable [Gödel, by Koellner] |
| 10614 | The real reason for Incompleteness in arithmetic is inability to define truth in a language [Gödel] |
| 14874 | Anaximander saw the contradiction in the world - that its own qualities destroy it [Anaximander, by Nietzsche] |
| 14617 | Predicates can't apply to what doesn't exist [Stalnaker] |
| 14616 | A 'Russellian proposition' is an ordered sequence of individual, properties and relations [Stalnaker] |
| 405 | The essential nature, whatever it is, of the non-limited is everlasting and ageless [Anaximander] |
| 13222 | The Boundless cannot exist on its own, and must have something contrary to it [Aristotle on Anaximander] |
| 404 | Things begin and end in the Unlimited, and are balanced over time according to justice [Anaximander] |
| 1495 | Anaximander introduced the idea that the first principle and element of things was the Boundless [Anaximander, by Simplicius] |
| 1746 | The parts of all things are susceptible to change, but the whole is unchangeable [Anaximander, by Diog. Laertius] |