Es sei ( N , 0 , ′ ) {\displaystyle {}(\mathbb {N} ,0,^{\prime })} ein Dedekind-Peano-Modell der natürlichen Zahlen
