PL twierdzenie-wniosek
Twierdzenia, które wynikają bezpośrednio z aksjomatów lub twierdzeń, nazywane są twierdzeniami-wnioskami albo po prostu wnioskami.
UA теоре́ма-на́слідок
Теореми, які випливають безпосередньо з аксіом або теорем, називають теоремами-наслідками, або просто наслідками.
Приклад застосування терміна в українській мові
Властивість кутів, протилежних рівним сторонам трикутника, є наслідком теореми про властивості рівнобедреного трикутника.