User blog:! cook the lettuce/Question about ordinal tetration

Hello. It is me, the completely useless array creator. I have a question about ordinal tetration: how was w^^(w+1) = phi(w,0) defined?