fossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 1 day agoIn this essay...mander.xyzimagemessage-square35fedilinkarrow-up1367arrow-down16
arrow-up1361arrow-down1imageIn this essay...mander.xyzfossilesque@mander.xyzM to Science Memes@mander.xyzEnglish · 1 day agomessage-square35fedilink
minus-squareanton@lemmy.blahaj.zonelinkfedilinkEnglisharrow-up1·9 hours agoI know how how natural numbers work, but the axioms in the comment i replied to are not enough to define them. Not sure what you mean by ‘loops’ There could be a number n such that m=s(n) and n=s(m). This would be precluded by taking the axiom of induction or the trichotomy axiom. If we only take the latter we can still make a second number line, that runs “parallel” to the “propper number line” like: n,s(n),s(s(n)),s(s(s(n))),... 0,s(0),s(s(0)),s(s(s(0))),... there are no natural numbers that are negative I know, but the given axioms don’t preclude it. Under the peano axioms it’s explicitly spelled out: 0 is not the successor of any natural number
I know how how natural numbers work, but the axioms in the comment i replied to are not enough to define them.
There could be a number n such that
m=s(n)
andn=s(m)
. This would be precluded by taking the axiom of induction or the trichotomy axiom.If we only take the latter we can still make a second number line, that runs “parallel” to the “propper number line” like:
n,s(n),s(s(n)),s(s(s(n))),... 0,s(0),s(s(0)),s(s(s(0))),...
I know, but the given axioms don’t preclude it. Under the peano axioms it’s explicitly spelled out:
0 is not the successor of any natural number