Text this: Princípio de indução finita : uma possibilidade para a educação básica