A broad introduction to modern Philosophy of Mathematics