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