Foundations of Mathematics (2023/2024: periode 1)