PanLinx
русский
rus-000
теорема о семантической непротиворечивости
English
eng-000
soundness theorem
PanLex