индуктивная определимость

Мат. inductive definability