теорема о непротиворечивости

Мат. consistency theorem