Why is there Philosophy of Mathematics at all