Introduction to Foundation Mathematics