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