Proof

Let $\mathcal{C}$ be a Calculus, then a Calculus-Derivation $\varnothing {⊢}_{\mathcal{C}}A$ is called a proof of $A$. When such a proof exists we write ${⊢}_{\mathcal{C}}A$ and call it a $\mathcal{C}$-theorem.