Научно-технический энциклопедический словарь - следствие

СЛЕДСТВИЕ (непосредственное следствие), в математике теорема, которая сама собой доказывается в результате доказательства какой-либо другой теоремы или предположения. В более общем смысле это прямой или естественный вывод.

Научно-технический энциклопедический словарь

.