inconsistency-introduction-1 (math concept)
See also
python declaration class | python inclusion class | python sample
Definition
inconsistency-introduction-1 is the inference-rule:
\[\left( \boldsymbol{P}, \neg \left(\boldsymbol{P}\right) \right) \vdash Inc\left(\mathcal{T}\right)\]
In straightforward language, if we prove a proposition and its negation, it follows that the theory is inconsistent.