• _dev_null@lemmy.zxcvn.xyz
    48·
    2 years ago

    I think you skipped a step:

    1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1

    • driving_crooner@lemmy.eco.br
      13·
      2 years ago

      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…