Induzione finita?

[Mrhaha]

Salve a tutti ragazzi!
Sto preparando l'esame di geometria (che se Dio vuole do martedi! ) e all'improvviso tra gli appunti mi ritrovo che una certa cosa è vero per "principio di induzione finito". Ma questo è il classico principio di induzione? Se non è quello cos'è?

Grazie!

[Pappappero1]

E' il principio di induzione classico, quello che dice che un sottoinsieme $S$ tale che $0 \in \NN$ e $AA n \in S$, anche $n+1 \in S$, allora $S$ concide con l'insieme di tutti i naturali.

A volte si parla di principio di induzione finito per distinguerlo dal principio di induzione trasfinito, che è una sua generalizzazione applicata agli ordinali.

[Mrhaha]

Ah ecco!
Ti ringrazio!
Cerco un pò questo principio che mi stavi dicendo! Grazie ancora!