En esta entrada se pueden los pasos detallados de una demostración matemática hecha por reducción al absurdo. En esta ocasión partimos de la proposición: raíz cuadrada de dos es un número irracional. No obstante, el método descrito, sobre todo su parte filosófica, perfectamente podría ser aplicable a cualquier otro caso. El desempeño consistiría en adaptar el método a la axiomática del caso en cuestión. En todo caso siempre es un buen ejercicio probar métodos de reducción al absurdo en casos conocidos para ir cogiendo técnica.