2IHT10 (2019-GS1) Logic and set theory