2IHT10 (2023-GS1) Logic and set theory