Raíz de dos es irracional (demostración usando principio de buena ordenación)

Hay muchas formas de demostrar que raíz de dos es irracional. En este vídeo mostraremos una demostración interesante con métodos no estándares usando el principio de buena ordenación.