2IHT10 (2018-GS1) Logic and set theory