Definition:Theorem

A theorem is a statement which can be shown to be the conclusion of a logical argument which depends on no premises except axioms.

A sequent which denotes a theorem $$\phi$$ is written $$\vdash \phi$$, indicating that there are no premises. In this context, $$\vdash$$ is read as "It is a theorem that ...".