How Many Formulas Are There In Maths