PanLinx
русский
rus-000
аксиоматизируемый класс
English
eng-000
axiomatizable class
PanLex