Formalism in the philosophy of mathematics