Law of the excluded middle

1. Axiom

Sei $ϕ$ eine Aussage, dann gilt:

\begin{array}{r} ϕ \lor \neg ϕ \end{array}

bzw. äquivalent dazu:

\begin{array}{r} \neg \neg ϕ \Leftrightarrow ϕ \end{array}