Ludwig Wittgenstein's philosophy of mathematics