PanLinx
русский
rus-000
условие непротиворечивости
English
eng-000
consistency condition
PanLex