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