• driving_crooner@lemmy.eco.br
    link
    fedilink
    arrow-up
    17
    ·
    1 year 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…