Philosophy of Mathematics: An Introduction to a World