5 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] |
2632 | Speusippus said things were governed by some animal force rather than the gods [Speussipus, by Cicero] |
20698 | Irenaeus says evil is necessary for perfect human development [Irenaeus, by Davies,B] |