Definition:Theorem/Logic

Definition
A theorem in logic 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 ...