 Solution

A theory $T$ is consistent when no contradiction is derivable from it, equivalently when $T⊬\perp$. In a classical proof system this is also equivalent to there being no sentence $\sigma$ for which both $T⊢\sigma$ and $T⊢\neg \sigma$.