2IHT10 (2018-GS2) Logic and set theory