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