Teorema de que números inteiros positivos são interessantes
Ir para navegação
Ir para pesquisar
Teorema: Todo número inteiro positivo é interessante.
Prova: Suponha por absurdo que existem números inteiros positivos que não são interessantes. Esse conjunto tem um mínimo. Mas ser o mínimo de um conjunto é algo interessante, logo, absurdo! O conjunto dos números inteiros positivos que não são interessantes só pode ser vazio.