Re:An intutive counterexample to the axiom of choice
by Retric on Monday January 23, 2023 @11:38AM
(#34491105)
Non standard models of arithmetic really takes me back. Anyway, axiom is the common terminology though I recall a rather long rant that postulate is better once you start talking about multiple incompatible systems.
Re:An intutive counterexample to the axiom of choice
by messe on Monday January 23, 2023 @12:34PM
(#34492062)
Please consider that the poster telling you that you do not know enough to comment intelligently about this topic may be correct.
> Anyway, axiom/models is the common terminology though I recall a rather long rant that postulate is better once you start talking about multiple incompatible systems.
Model has a very specific definition in this area of mathematics. This sentence is nonsense.
The widely accepted first order axioms of the natural numbers have nonstandard models. Of course each such model has an isomorphic initial segment. There are two things going on. There is the set of axioms and there are models for those axioms. I think in your usage: “define real number” corresponds to “give the axioms for the real numbers”. I’m not sure though.