ickplant@lemmy.world to Lemmy Shitpost@lemmy.world · 10 months agoPaniki.postimg.ccimagemessage-square148fedilinkarrow-up11.31Karrow-down151
arrow-up11.26Karrow-down1imagePaniki.postimg.ccickplant@lemmy.world to Lemmy Shitpost@lemmy.world · 10 months agomessage-square148fedilink
minus-squaredriving_crooner@lemmy.eco.brlinkfedilinkarrow-up17·10 months agoYou miss a couple os steps too. First, lets define the axioms, we’re using Peano’s for this exercise. Axiom 1: 0 is a natural number. Jump to axiom 6, define the succession function s(n) where s(n) = 0 is false, and for brevity s(0) = 1, s(s(0)) = 2 and so on…
You miss a couple os steps too.
First, lets define the axioms, we’re using Peano’s for this exercise.
Axiom 1: 0 is a natural number.
Jump to axiom 6, define the succession function s(n) where s(n) = 0 is false, and for brevity s(0) = 1, s(s(0)) = 2 and so on…