Para a disciplina de Matemática Finita por Ronan Soares
Uma estrutura matemática que usa ela própria para se definir
normalmente tem uma base definida de forma explicita
utiliza de estruturas similares e menores para definir algum elemento
Sequência $S(1), S(2), \ldots, S(k), \ldots$
Cada $S(i)$ é definido a partir de $S(k)$ com $k < i$
$S(1)$ é a base
Forma geral
Fibonacci
Quais os primeiros valores de $T$?
Considerando Fibonacci mostre que
Qualquer proposição atômica é uma Fórmula Bem Formada
Se $P$ e $Q$ são Fórmula Bem Formada então
Também são
Qual o menor número de movimentos para resolver o problema das torres de Hanoi?
Para calcular $F(5)$ quantas vezes precisamos de $F(3)$?