Skolem's original (1933) construction of non-standard arithmetic was intended to show the indeterminacy of the natural number concept, not to populate models with a new category of object.
?Rate how convincing each reason is below to see the overall strength.
No one has weighed in yet. Be the first to share reasons for or against this statement.
Sign in or register to share your perspective on this statement.
idealized theoretical constructions designed to express the normative qualities of a democratic system as well as its constitutive institutions
non-standard arithmetic(as the subject of Skolem's construction)
A mathematical system that follows all the same rules as regular arithmetic (addition, multiplication, etc.) but includes extra numbers that don't exist in the normal number line—kind of like discovering a parallel version of math that works but isn't the one we usually use.
populate(describing what Skolem was or wasn't doing with his construction)
To fill or stock with something; in this context, to create or introduce new kinds of objects into a mathematical system.