Philosophy of Mathematics and Its Logic