2IHT10 (2020-GS3) Logic and set theory