2IHT10 (2022-GS3) Logic and set theory