О редукции теории множеств Цермело–Френкеля в синтаксически полные системыдипломная работа (Специалист)