PanLinx
русский
rus-000
эквациональная неопределимость
English
eng-000
equational undefinability
PanLex