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

Мат. consistency theorem

Источник: Полный русско-английский словарь на Gufo.me