1: \begin{definition}[Theorem Indicator]\label{def:thmind}

2:   Given a sentence $\phi$, define $\thmind(\phi)$ to be 1 if $\Theory \vdash \phi$ and 0 otherwise.

3: \end{definition}

4: