teorema

m. Enunciado que puede ser probado mediante un razonamiento lógico a partir de axiomas o proposiciones previamente aceptadas.

Proposición matemática que, tras ser demostrada, se considera válida dentro de un sistema formal.

Resultado que se deriva de un conjunto de premisas y que requiere una demostración para su aceptación.