Beweise den Satz über die induktive Definition einer Abbildung auf einem Peano-Dedekind-Modell ( N , 0 , ′ ) {\displaystyle {}(N,0,\prime )} .