Ipotesi:
– i topi sono bla bla bla
– i topi non sono scemi
Tesi:
un topo bla bla bla, ma non scemo, può formulare pensieri propri.
Vuoi provare a dimostrare il teorema?
Se non riesci, sotto trovi la dimostrazione.
Dimostrazione:
l’essere bla bla bla non implica l’incapacità di pensare. Il topo bla bla bla, quindi, può pensare e, di conseguenza, non si può escludere che possa formulare pensieri propri, c.v.d.
Nota. Il settimo teorema non è in contraddizione con il sesto, anzi ne è un’estensione: che i topi possano essere trattati come se fossero scemi, infatti, non significa che lo siano.
