Słowo następstwo wywodzi się z łacińskiego corollarĭum, z matematycznego punktu widzenia oznacza prawdę powstałą w wyniku twierdzenia. Jest to propozycja, której nie trzeba weryfikować, ponieważ bardzo łatwo ją wywnioskować z tego, co zostało wykazane. W większości przypadków wniosek następuje bezpośrednio po twierdzeniu.
Przykładem konsekwencji z zakresu matematyki może być: Uwzględnienie twierdzenia „We wszystkich trójkątach kąty wewnętrzne są równe 180º”. Wyłania się wniosek A; 90º to suma kątów ostrych. Wniosek B; W trójkącie nie może być więcej niż jeden kąt prosty ani więcej niż jeden kąt rozwarty.
Z codziennego punktu widzenia jest to coś dedukcyjnego lub logicznego, biorąc pod uwagę szereg wcześniejszych faktów. Przykładem tego jest „małpy człekokształtne mają mniej włosów niż ludzie”. Dlatego twierdzenie następuje następstwa; goryle nie mają mieszków włosowych na twarzach.
