Math 3250 - Foundations of Mathematics