Desde los antiguos geómetras griegos, quien dice matemáticas dice demostración. Una demostración es un razonamiento que, a partir de unos principios o axiomas que se consideran correctos, permite deducir un resultado o teorema. Las demostraciones son el pegamento que mantiene unidas las matemáticas. Pero, ¿cuáles son los métodos de demostración válidos? Es decir, ¿de qué formas se puede llegar de los axiomas a los resultados?