Este documento discute a indução finita, um método para provar propriedades sobre números naturais. Ele explica que (1) verificações diretas para alguns números não são suficientes para provar propriedades sobre o conjunto infinito dos naturais e (2) o princípio da indução finita estabelece que basta provar que uma propriedade é válida para um número inicial n0 e que, se é válida para um número k, também é válida para k+1.