PanLinx
русский
rus-000
суперарифметическая иерархия
English
eng-000
superarithmetical hierarchy
PanLex