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