Definition:Inconsistent Set of Formulas