• @_dev_null@lemmy.zxcvn.xyz
    link
    fedilink
    54
    edit-2
    1 year 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

    Edit: Ohhhh, math by tens, I totally missed it. In that case, my mind wants to break it down to (10 * 5) + 1, and I’d still totally miss 17 as a possible factor.

    • 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…