\begin{definition}[Definition:Constructed Semantics/Instance 1]
Let $\LL_0$ be the language of propositional logic.
The constructed semantics $\mathscr C_1$ for $\LL_0$ is used for the following results:
* Hilbert Proof System Instance 2 is Consistent
\end{definition}