PanLinx
русский
rus-000
логическая непротиворечивость
English
eng-000
logical consistency
PanLex