неформализованный способ описания и доказательства — значение слова