Következmény-tételeknek vagy következményeknek nevezzük azokat a tételeket, amelyek közvetlenül az axiómákból vagy tételekből származnak.

Теореми, які випливають безпосередньо з аксіом або теорем, називають теоремами-наслідками, або просто наслідками.

Приклад застосування терміна в українській мові

Властивість кутів, протилежних рівним сторонам трикутника, є наслідком теореми про властивості рівнобедреного трикутника.