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