PanLinx
беларуская
bel-000
рэкурсіўна пералічальнае мноства
русский
rus-000
рекурсивно перечислимое множество
PanLex