2IT60 (2023-1) Logic and set theory