自然数の対を入力にとる次のようなアルゴリズム\(F\)を考える.
\( F(m,n)= \left\{ \begin{array}{l l} n+1 & m=0 のとき \\ F(m -1,1) & m \neq 0 かつ n=0 のとき \\ F(m -1,F(m,n -1)) & m \neq 0 かつ n\neq 0 のとき \end{array} \right. \)
すべての\(\left( m,n \right) \in \mathbb{N} \times \mathbb{N} \)について,\(F(m,n)\)が一意に定義されていることを示せ.
★何が一意なのかに注意★