Математическая индукция¶

Определение. Если P(1) истинно и из P(n) следует P(n+1), то P(n) истинно для всех натуральных n. Пятая аксиома Пеано; одновременно метод доказательства и структурное свойство натурального ряда.