5 ideas
8074 | There is a five shilling fine for each point of divergence from the thinking of Aristotle [Oxford Univ 1350] |
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] |