Principle of Non-Contradiction/Sequent Form/Formulation 1/Proof 1

Theorem

 * $p, \neg p \vdash \bot$