Пусть P(n) – некоторое свойство натуральных чисел. Если для всех x утверждение ∀y(y < x → P(y)) влечет P(x), то для каждого n ⩾ 0 справедливо P(n). 1) принцип возвратной индукции
2) доказательство перебором
3) доказательство методом от противного
4) принцип бесконечного спуска
5) доказательство импликаций с контрапозиции