Proof

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