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