Wittgenstein's philosophy of mathematics