Definition:Consistent Set of Formulas