Formalismus (Mathematik)