2IHT10 (2019-GS2) Logic and set theory