Независимость частного случая аксиомы выбора от двусортной теории множествтезисы доклада