Silverchase@sh.itjust.works to Math Memes@lemmy.blahaj.zoneEnglish · 18 days agoProof by fucking obviousnesssh.itjust.worksimagemessage-square59fedilinkarrow-up1366arrow-down113
arrow-up1353arrow-down1imageProof by fucking obviousnesssh.itjust.worksSilverchase@sh.itjust.works to Math Memes@lemmy.blahaj.zoneEnglish · 18 days agomessage-square59fedilink
minus-squareL3dpen@lemmy.mllinkfedilinkEnglisharrow-up2·18 days agoIsn’t 1 and +1 well defined by the Peano Axioms by using the intersection of all infinite successor functions and starting at the empty set?
Isn’t 1 and +1 well defined by the Peano Axioms by using the intersection of all infinite successor functions and starting at the empty set?