An Introduction to the Philosophy of Mathematics