ある本に、関数f : N -> Nを
f(0) = 1
f(1) = 1
f(n) = f(n-1) + f(n-2) (n ≧ 2)
と定義するというのはおかしいと書いてあります。その理由は、これから定義しようという関数f : N -> Nを使ってfの値を定義しようとしているというものです。
そのかわり、関数f : N -> Nで
f(0) = 1
f(1) = 1
f(n) = f(n-1) + f(n-2) (n ≧ 2)
を満たすものが存在することを証明しています。

なんだか分かったような分からないような気がするのですが、上に書いたことは正しいのでしょうか？