 The double use of \(\vDash\) is a misfortune. But in the particular case where \(L\) is first-order, the completeness theorem (see the entry on  classical logic)  tells us that ‘\(T \vDash \phi\)’ holds if and only if there is a proof of \(\phi\) from \(T\), a relation commonly written