# Negation of Excluded Middle is False

$\neg (p \lor \neg p) \vdash \bot$
$\vdash \neg \neg (p \lor \neg p)$