1.　用語の定義と解説

1.4　人工知能に関する英語の用語

　整数Ｎ以上の自然数を含む項に関する命題を証明する方法です。まずその命題がＮについて成立することを示し、次に、もしＮ以上の任意のｎに対してもその命題が成立するならば（ｎ＋１）に対してもその命題が成立することを示すことによって証明する方法。