2IHT10 (2023-GS2) Logic and set theory