2IHT10 (2020-GS2) Logic and set theory