Talk:Formalism (philosophy of mathematics)