Proposition démontrée à l'intérieur d'un système mathématique. Un théorème découle des axiomes et postulats qu'on a posé auparavant.
