Socrates currit et Socrates non currit ergo asini volant

Quindi gli asini volano?

p et ¬p → q     (ex falso quodlibet)

Data una contraddizione all'interno di una  teoria qualunque affermazione diventa vera.

Non è nella disponibilità dell'uomo rimuovere tautologie e contraddizioni.

Esse rimarranno lì. 

Volente o nolente.