2IHT10 (2022-GS1) Logic and set theory