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

Математи́чна інду́кція — застосування принципу індукції для доведення теорем в математиці. Зазвичай полягає в доведенні вірності твердження стосовно одного з натуральних чисел, а потім всіх наступних.

Принцип індукції полягає в тому, що нескінченна послідовність тверджень $P_i$, $i = 1, \dots, \infty$, вірна якщо:

1. $P_1$ — вірне, та
2. із правильності $P_k$ випливає правильність $P_{k+1}$ для всіх k.

Джерела інформації

• Weisstein, Eric W. (1999). CRC concise encyclopedia of mathematics. Boca Raton, Fla.: CRC Press. ISBN 0-8493-9640-9. 

Дивіться також

• Доведення
• Дедукція
• Формальна логіка
• Проблема індукції