How Many Formulas Are There In Algebra