Een stelling is een bewering die bewezen is. Ze wordt niet aangenomen of verondersteld; ze volgt uit axioma's, definities en eerder bewezen resultaten door middel van logische deductie. Het bewijs is wat een stelling betrouwbaar maakt.

Bekende stellingen zijn onder andere de stelling van Pythagoras, de fundamentele stelling van de differentiaalrekening en de laatste stelling van Fermat. Sommige stellingen zijn eenvoudig; andere vergen honderden pagina's om te bewijzen. De vierkleurenstelling was de eerste belangrijke stelling die met behulp van een computer werd bewezen.

Stellingen zijn de belangrijkste resultaten van de wiskunde. Ze worden benoemd, genummerd en van een referentie voorzien. Een stelling kan gevolgstellingen, lemma's en generalisaties hebben. Het bewijzen van stellingen vormt de kern van wiskundig onderzoek.

• Bewering bewezen door logica
• Volgt uit axioma's en eerdere resultaten
• Voorbeelden: de stelling van Pythagoras, de laatste stelling van Fermat
• Bewijs is wat de waarheid vaststelt.