>>230

帰納的定義で定義される関数が存在することは証明する必要がないということですか？
理由を教えて下さい。