Als een stelling eenmaal bewezen is, volgen andere resultaten vaak vrijwel direct. Een gevolgtrekking is een bewering die rechtstreeks uit een stelling volgt, meestal met weinig extra werk. Het is niet zozeer een nieuwe stelling, maar eerder een natuurlijk gevolg.

Euclides' Elementen staat vol met gevolgstellingen. Nadat bewezen is dat de som van de hoeken van een driehoek 180 graden is, stelt een gevolgstelling dat een driehoek geen twee rechte hoeken kan hebben. Deze gevolgstelling is nuttig en gemakkelijk in te zien zodra de hoofdstelling is bewezen.

Wiskundigen gebruiken gevolgstellingen om kennis te ordenen. Ze benadrukken belangrijke consequenties en maken het gemakkelijk om ernaar te verwijzen. Het onderscheid tussen stelling, propositie, lemma en gevolgstelling is deels een kwestie van nadruk. Een lemma is een opstapje; een gevolgstelling is de beloning. Beide zijn afhankelijk van de logische structuur die door het hoofdbewijs is opgebouwd.

• Volgt gemakkelijk uit een stelling.
• Meestal is er weinig aanvullend bewijs nodig.
• Komt veel voor in teksten van Euclides en moderne teksten.
• Benadrukt belangrijke gevolgen