Definition:Theory of Set of Formulas