Silverchase@sh.itjust.works to Math Memes@lemmy.blahaj.zoneEnglish · 2 months agoProof by fucking obviousnesssh.itjust.worksimagemessage-square60fedilinkarrow-up1369arrow-down113
arrow-up1356arrow-down1imageProof by fucking obviousnesssh.itjust.worksSilverchase@sh.itjust.works to Math Memes@lemmy.blahaj.zoneEnglish · 2 months agomessage-square60fedilink
minus-squareL3dpen@lemmy.mllinkfedilinkEnglisharrow-up2·2 months 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?