Formalism (matemaatika)