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