Como se había dicho, una demostración se escribe en lenguaje natural, siendo esta un argumento riguroso con propósito de convencer a la audiencia de la veracidad de una afirmación o definición.