Un théorème est une propriété qui a été démontrée, et qui peut être utilisée dans une démonstration.

Pour démontrer un théorème, on s' appuie soit sur d' autres théorèmes démontrés auparavant, soit sur des axiomes, propriétés élémentaires indémontrables qui constituent les fondations de l' édifice mathématique.

Voir : axiome, démonstration, conjecture.