Gato com três caudas

Demonstração: Se não existe um gato com duas caudas, então existe um gato com três caudas

Por hipótese, temos que:

Nenhum gato tem 2 caudas (1)

Como cada gato tem uma cauda:

Por cada gato a mais, obtemos uma cauda a mais (2)

Ou seja:

Um gato tem mais uma cauda que nenhum gato (3)

Logo, por (1) e (3), vem que:

Um gato tem 2 + 1 caudas

Ou seja:

Um gato tem três caudas c.q.d.