2IHT10 (2024-GS1) Logic and set theory