Title: Logic, Set-theory, and Philosophy of Mathematics