Es decir, supongamos que existe un número N mayor que todos los números naturales. Demostrar que N=5 es el número con dicha propiedad.
La prueba más original ganará un e-book Kindle. Pueden escribirla como comentario de esta entrada o mandarnos un link donde la podamos revisar.
Observaciones.
Tengo unas palabras para los lectores que sienten un ligero desconforto por mi solicitud de resolver un problema "absurdo": son como yo. Sin embargo, la moraleja de la historia es muy importante: aunque los razonamientos sean correctos, si la premisa es falsa, podemos llegar a demostrar cualquier enunciado, verdadero o falso.
Uno de los ejemplos más populares [1] es el de Bertrand Russell, cuando le pidieron que demostrará que él mismo y el Papa eran una sola persona como consecuencia del hecho de que 5=2+2. A lo que Russell respondió que si se resta 3 a los dos lados de dicha igualdad, se tiene que 2=1, luego 2 personas, por ejemplo, él y el Papa son una persona, luego Russell es el Papa.
Encontré en un libro [2] una referencia a que Hausdorff observó que si dos por dos son cinco entonces existen las brujas. Pero no encontré el argumento. Si alguien tiene una referencia, se lo agradecería. También en este libro hay una prueba donde se prueba si se supone que existe un número mayor que todos, N=1 sería tal número.
¡Esperamos sus demostraciones!
Referencias:
[1] Witold Marciszewski. Logic from a Rhetorical Point of View (1994), p. 109.
http://books.google.com.mx/books/about/Logic_from_a_Rhetorical_Point_of_View.html?id=d8eDdEZH2HMC
[2] Y. Jurguin. Bueno, ¿y qué...? Mir.