Revise Mathematics