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] |
541 | Virtue comes more from habit than character [Critias] |
22745 | Pherecydes said the first principle and element is earth [Pherecydes, by Sext.Empiricus] |
542 | Fear of the gods was invented to discourage secret sin [Critias] |
5883 | Pherecydes was the first to say that the soul is eternal [Pherecydes, by Cicero] |