Principle of explosion

Theorem which states that any statement can be proven from a contradiction

In symbolic logic, the principle of explosion can be expressed schematically in the following way:

Reduction in proof strength of logics without ex falso are discussed in minimal logic.