Palindrome (; "again") and ' (; "way, direction"). Palindromes date back at least to 79 AD, as a palindrome was found as a graffito at Herculaneum, a city buried by ash in that year. This palindrome, called the Sator Square, consists of a sentence written in Latin: "Sator Arepo Tenet Opera Rotas" ("The sower Arepo holds with effort the wheels"). It is remarkable for the fact that the first letters of each word form the first word, the second letters form the second word, and so forth. Hence, it can be arranged into a word square that reads in four different
Principle of explosion Principle of explosion The principle of explosion (Latin: "ex falso (sequitur) quodlibet" (EFQ), "from falsehood, anything (follows)", or "ex contradictione (sequitur) quodlibet" (ECQ), "from contradiction, anything (follows)"), or the principle of Pseudo-Scotus, is the law of classical logic, intuitionistic logic and similar logical systems, according to which any statement can be proven from a contradiction. That is, once a contradiction has been asserted, any proposition (including their negations) can be inferred from it. This is known as deductive explosion. The proof of this principle was first given by 12th century French philosopher William of Soissons. As a demonstration of the