O Princípio de Indução Finita (PIF) é uma ferramenta fortíssima e fundamental na Demonstração de Teoremas e na Construção de Teorias Matemáticas. Basicamente ele pode ser visto como um Axioma da Teori