As practiced, a proof is expressed in natural language and is a rigorous argument intended to convince the audience of the truth of a statement.
Na práctica, unha demostración exprésase nunha linguaxe natural e é un argumento rigoroso destinado a convencer a unha audiencia da verdade dunha enunciado.