Introduction to the Foundations of Mathematics