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