Fjlpqce

Si un domino cade, anque le sequente cade. Si uno de illos cade, anque omnes sequente cade.

Le induction mathematic es un specie de prova mathematic specialmente pro numeros natural. Illo consiste del duo partes base de induction e passo inductive.

Le prova que vale le proposition ${\displaystyle \mathrm{\alpha <!--\; \alpha \; -->}(n)}$ pro omne ${\displaystyle n\ge <!--\; \ge \; -->n_0}$ alora consiste

1. del base que in prime loco vale ${\displaystyle \mathrm{\alpha <!--\; \alpha \; -->}(n_0)}$, e
2. del passo que le proposition ${\displaystyle \mathrm{\alpha <!--\; \alpha \; -->}(n+1)}$ es deducite del proposition ${\displaystyle \mathrm{\alpha <!--\; \alpha \; -->}(n)}$ pro omne ${\displaystyle n\ge <!--\; \ge \; -->n_0}$.

Sovente iste ${\displaystyle n_0}$ es ${\displaystyle 0}$, ${\displaystyle 1}$, o ${\displaystyle 2}$. Le proposition ${\displaystyle \mathrm{\alpha <!--\; \alpha \; -->}(n)}$ del induction es le hypothese inductive.

In altere parolas, le passo provide que le proposition vale pro le numero sequente de un qualcunque numero, durante que le base provide que il ha un initio. Si le passo es provate, ma un base non pote esser trovate, tunc il non ha un initio e le proposition alora non es provate. Un bon imagine es un fila de dominos: Si un pecia cade, anque le sequente cade. Si al minus uno de illos cade, anque omnes sequente cade.