Induction mathematic
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 es ver le proposition  pro omne  alora consiste
 del base que in prime loco es ver , e
 del passo que le proposition  es deducite del proposition  pro omne .

Sovente iste  es , , o . Le proposition  del induction es le hypothese inductive.

In altere parolas, le passo provide que le proposition es ver 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, alsi le sequente cade. Si al minus uno de illos cade, alsi omnes sequente cade.

Mathematica