Principle of explosion

Theorem in formal logic

In classical logic, intuitionistic logic, and similar logical systems, the principle of explosion is the theorem according to which any statement can be proven from a contradiction. That is, from a contradiction, any proposition (including its negation) can be inferred; this is known as deductive explosion. The proof of this principle was first given by 12th-century French philosopher William of Soissons.

From Wikipedia, under CC BY-SA. More on occurri.