1974 | What Numbers Are |
IV | p.95 | 17812 | Finite cardinalities don't need numbers as objects; numerical quantifiers will do |
Full Idea: Statements involving finite cardinalities can be made without treating numbers as objects at all, simply by using quantification and identity to define numerically definite quantifiers in the manner of Frege. | |||
From: Nicholas P. White (What Numbers Are [1974], IV) | |||
A reaction: [He adds Quine 1960:268 as a reference] |
V | p.96 | 17813 | Löwenheim-Skolem says any theory with a true interpretation has a model in the natural numbers |
Full Idea: The Löwenheim-Skolem theorem tells us that any theory with a true interpretation has a model in the natural numbers. | |||
From: Nicholas P. White (What Numbers Are [1974], V) |