Demonstração: Todos os números naturais são interessantes

Suponhamos, com vista a um absurdo ou a uma contradição, que a tese é falsa, ou seja \[ \large \neg\left(\text{Todos os números naturais são interessantes}\right) \Leftrightarrow \] \[ \large \Leftrightarrow \left(\text{Nem todos os números naturais são interessantes}\right)\]

Seja \(n\) o menor número natural que não é interessante.

Como o número \(n\) tem uma propriedade única, torna-o um número muito interessante!

Assim temos que \[\large n \text{ é um número que não é interessante}\] e \[\large n \text{ é um número interessante}\]

Assim, como a suposição de que \[\large \text{Nem todos os números naturais são interessantes}\] gerou uma contradição, ou um absurdo, temos que a tese é verdadeira, ou seja \[\Large \text{Todos os números naturais são interessantes,} \: \: \normalsize \textit{q.e.d.}\]