超算术集

hyperarithmetic set