2IHT10 (2019-GS3) Logic and set theory