i have a few question, that i hope they will answered.
1) let w={0,1...,n,..}={0}UN, and let f:wxw->w such that the next requirements apply:
a) f(0,n)=n+1
b) f(m+1,0)=f(m,1)
c) f(m+1,n+1)=f(m,f(m+1,n).
i need to prove that for every n,m in w, the next statement applies:
f(m,n)<f(m,n+1)...