Demostración

Secuencia lógica de razonamientos que permite probar la veracidad de una proposición matemática a partir de axiomas y teoremas.

Fuente:

Kleene, S. C. (2009). Introducción a la lógica matemática.