Definition:Model of Set of Formulas