TEOREMA: Todo número natural é interessante.
PROVA: Seja D={n°, n¹, n², n³, ...} o conjunto dos números desinteressantes. Por tratar-se de números naturais, podemos supor que estão em ordem crescente. Nesse caso, n° é interessante por ser o menor número natural desinteressante. Recursivamente, chegamos à conclusão que D deve ser um conjunto vazio (pois, se for unitário, o tal único número desinteressante seria interessantíssimo!). Q.E.D.
:-P
Nenhum comentário:
Postar um comentário