Formalizmus (matematika)