2IHT10 (2017-GS3) Logic and set theory