Realmente no sé cómo usar $\text{max}$ función - yo lo he hecho de otra manera - puede ser que le ayude.
Tiene dos axiomas:
$p(a,1)=a$ - número uno,
$p(a,n+1)=p(a,n)+a$ - el número dos.
Lema 1: $$p(1,a)=a.$$
De inducción.
Base: $p(1,1)=1$ - el primer axioma.
Inducción de la hipótesis: $p(1,n)=n$
Inducción paso:
$p(1,n+1)=p(1,n)+1$ - el segundo axioma,
$p(1,n)+1=n+1$ - hipótesis de inducción.
Por eso, $$p(1,n+1)=n+1$$ y el Lema 1 se demuestra.
Lema 2 - derecho-propiedad distributiva, $$p(a+b,c)=p(a,c)+p(b,c)$$
Base: $p(a+b,1)=a+b=p(a,1)+p(b,1)$ - el primer axioma.
Inducción de la hipótesis: $p(a+b,n)=p(a,n)+p(b,n)$
Paso:
$p(a+b,n+1)=p(a+b,n)+(a+b)$ - el segundo axioma,
$p(a+b,n)+(a+b)=p(a,n)+p(b,n)+(a+b)$ - inducción, hipótesis,
$p(a,n)+p(b,n)+(a+b)=(p(a,n)+a)+(p(b,n)+b)$ - el asociativa y conmutativa leyes para la adición,
$(p(a,n)+a)+(p(b,n)+b)=p(a,n+1)+p(b,n+1)$ - el segundo axioma.
Por eso, $$p(a+b,n+1)=p(a,n+1)+p(b,n+1)$$ demostrado.
Ahora su Teorema: $$p(m,n)=p(n,m).$$
Base: $p(m,1)=p(1,m)$ - Lema 1 y el primer axioma.
Inducción de la hipótesis: $p(m,n)=p(n,m)$.
Paso: $p(m,n+1)=p(m,n)+m$ - el segundo axioma,
$p(m,n)+m=p(n,m)+m$ - inducción, hipótesis,
$p(n,m)+m=p(n,m)+p(1,m)$ - Lema 1,
$p(n,m)+p(1,m)=p(n+1,m)$ - Lema 2.
Tenemos $p(m,n+1)=p(n+1,m)$ y eso es todo.