jpdb beta

1. 自然数 n を変数として含む命題に対して、n = 1 に対応する命題が真であることを証明し、さらに、任意の n = k に対応する命題が真であることを仮定した上で n = k + 1 に対応する命題が真であることを証明することにより、元の命題を証明する手法。