Theorema

Een theorema is een stelling die kan worden bewezen vanuit een axiomatisch systeem door gebruik te maken van de afleidingsregels.

Voorbeelden van theorema's:

• 1 * 2 = 2
• De som van de drie hoeken van een driehoek is 180 graden.(Waar in de Euclidische meetkunde, Onwaar in niet-Euclidische meetkunde.)

Het tweede voorbeeld illustreert dat de waarheid(swaarde) van een theorema afhangt van het axiomatisch systeem waarin gewerkt wordt.