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.
[ Parent
| on HN ]
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.