PanLinx
русский
rus-000
гиперарифметическое отношение
English
eng-000
hyperarithmetical relation
PanLex