PanLinx
English
eng-000
arithmetically definable
русский
rus-000
арифметически определимый
PanLex