Presentación lógica de un argumento mostrando la forma en que ciertas premisas (definiciones, axiomas, y teoremas ya establecidos) implican un cierto resultado. Es decir, mostrando que el resultado es consecuencia necesaria de las premisas.
La demostración está asociada a un teorema o proposición, y se entiende (queda implícito) que es la demostración de alguna afirmación. La demostración es el argumento que exhibe (muestra) que la afirmación es correcta (verdadera).