Большой англо-русский словарь (с транскрипциями) CONSISTENCY theorem мат. теорема о непротиворечивости