Следствие в математике — утверждение, которое легко можно доказать из предыдущего утверждения.

Обзор

В математике , следствием является теорема с небольшим доказательством, которое следует из другой теоремы . Использование термина следствие вместо « утверждение » или «теорема » субъективно.

Утверждение Б является следствием утверждения А, если Б можно легко вывести из А. Следствие, как правило, вторично по отношению к основной теореме; если следствие играет большую роль, то его вряд ли назовут следствием.

См. также

• Аксиома
• Лемма (математика)
• Теорема

Примечания

Ссылки

• Eric W. Weisstein. (англ.) . mathworld.wolfram.com. Дата обращения: 26 августа 2019. From MathWorld--A Wolfram Web Resource.
• William and Robert Chambers. . — Appleton, 1864. — Т. 3. — С. 260. — 842 с.