Re:An intutive counterexample to the axiom of choice
by phkahler on Monday January 23, 2023 @09:08AM
(#34488852)
You mean there aren't infinity large integers? Hmm, that seems weird.
[ Parent
| on HN ]
Re:An intutive counterexample to the axiom of choice
by xvkektjdicou on Monday January 23, 2023 @10:58AM
(#34490395)
All integers are by definition finite. Positive integers are defined by S(S(S(...S(0)...))) a finite number of times, where S is the successor function. (And negatives in the obvious way.)