Adição e Produto por axioma de peano

add&prod.js

const sucessor = x => x + 1;
const predecessor = x => x - 1;

// 1. P(a, 0) = a
// 2. P(a,S(b)) = S(P(a, b))
const adicaoPeano = ( a, b ) => 
  ( a === 0 )
    ? b 
    : adicaoPeano( predecessor( a ), sucessor( b ) );

// 1. M(a, 0) = 0
// 2. M(a, S(b)) = P(a, M(a, a))
const produtoPeano = ( a, b ) =>
  ( a === 0 )
    ? 0
    : adicaoPeano( b, produtoPeano( predecessor( a ), b ) )