Thinking about Mathematics: The Philosophy of Mathematics