Hyperarithmetically independent class

математика гипер-арифметически независимый класс