Syllabus Math 251W: Foundations of Advanced Mathematics, Spring 2023