Наслідок у математиці — це твердження, яке може бути безпосередньо виведено з попередніх аксіом, теорем чи тверджень.

Значення

ред.

Наслідок — це твердження, що випливає як наслідок доказу іншої теореми і не потребує складного доведення[1]. Наслідком може бути теорема доведена для більш обмеженого часткового випадку. Наприклад, теорема, що стверджує, що всі кути прямокутника є прямими кутами, має наслідок, що всі кути квадрата (що є частковим випадком прямокутника) теж є прямими кутами.

Більш формально, твердження B є наслідком твердження A, якщо B можна легко вивести з A або воно самоочевидне з його доведення.

Див. також

ред.

Примітки

ред.
  1. Wentworth & Smith Art. 51