All formulas of mathematics