6 ideas
17813 | Löwenheim-Skolem says any theory with a true interpretation has a model in the natural numbers [White,NP] |
17812 | Finite cardinalities don't need numbers as objects; numerical quantifiers will do [White,NP] |
594 | Speusippus suggested underlying principles for every substance, and ended with a huge list [Speussipus, by Aristotle] |
13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |
2632 | Speusippus said things were governed by some animal force rather than the gods [Speussipus, by Cicero] |