Рассуждение, устанавливающее истинность к.-л. утверждения путем приведения др. утверждений, истинность которых уже установлена.
