BME TTK, 2022 Fall semester, Set Theory