Definition Consistent Theory A set of formulas is syntactically consistent in a calculus if falsum cannot be derived from :