2IHT10 (2018-GS3) Logic and set theory