Matematická indukce

Výrok platí pro několik prvních členů posloupnosti $\to$ neúplná indukce $\to$ hypotéza $\to$ důkaz $\to$ úplná indukce

Dedukce = odvození z obených poznatků

Důkaz matematickou indukcí

Používá se pro věty typu "Pro každé přirozené číslo $n \ge n_0$ platí $V(n)$

1. Krok:

   Dokážeme, že $V(n)$ platí pro $n = n_0$

2. Krok:

   Dokážeme, že pro všechna přirozená čísla $k \ge n_0$ platí $V(k) \implies V(k + 1)$