ickplant@lemmy.world to Funny@sh.itjust.works · 3 days agoSon...lemmy.worldexternal-linkmessage-square13fedilinkarrow-up1298
arrow-up1298external-linkSon...lemmy.worldickplant@lemmy.world to Funny@sh.itjust.works · 3 days agomessage-square13fedilink
minus-squareZiglin (it/they)@lemmy.worldlinkfedilinkEnglisharrow-up1·2 days agoHow so? Isn’t using the successor of a successor until you reach 0 or 1 standard for natural numbers or ints?
How so? Isn’t using the successor of a successor until you reach 0 or 1 standard for natural numbers or ints?