Explore the foundational concepts of mathematical logic and set theory in this opening lecture from the Hausdorff Trimester Program on Types, Sets and Constructions. Delve into the intricate relationships between mathematical structures and their philosophical implications as presented by renowned mathematician Michael Rathjen. Gain insights into the program's objectives and the significance of these topics in modern mathematics and computer science.