Es sei ( N , 0 , ′ ) {\displaystyle {}(N,0,')} ein Peanomodell für die natürlichen Zahlen und n , k ∈ N {\displaystyle {}n,k\in N} .
Dann ist