2022
CTLectures - Shtukenberg - Math Logics 10 Goedel, ZF, Axiom of Choice ru 0:00 of 1:30:33
    https://www.youtube.com/watch?v=SuFxrLy9THk