From ProofWiki
Jump to navigation Jump to search


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 ...