そこで空集合から始めて高々formula_36回の心変わりで極限計算可能な集合はformula_36-帰納的可算という。