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] |
15312 | We get the idea of power by abstracting from ropes, magnets and electric shocks [Priestley] |
12887 | A whole must have one characteristic, an internal relation, and a structure [Rescher/Oppenheim] |
15311 | Attraction or repulsion are not imparted to matter, but actually constitute it [Priestley] |