構造に関する帰納法

この帰納法における場合分けは基本的に定義に沿って行われるとのこと。例えば「ラムダ式の構造に関する帰納法」であれば、ラムダ式の定義から導かれる。ラムダ式の定義が再帰的なので、帰納法における仮定として「より単純な式だから」ということがいえるのだろうと思う（先生に聞いてみよう）。