2IHT10 (2023-GS3) Logic and set theory