En todo tiene razón
Don Cántor, debo decirlo
y es que es el canto de un mirlo
su crucial demostración
que me parta un rayo al son
si me retracto de nuevo
de sinapsis o de fuego
ese rayo, que más da
pa'l que viene y pa'l que va
siempre es lúdico este juego.
A repasar me metí
otra vez de cada tantas
y como perro que pianta
lo vi estaba justo ahí
y es que por fin comprendí
en ese momento exacto
que el teorema siempre en acto
considera al infinito.
¡En mi afán de regolito
dos neuronas en contacto!
La supuesta biyección
no precede al algoritmo
en simultáneo y a ritmo
salen número y función
le llevó a mi comprensión
los años que no son nada
pero guarda no es pavada
otras neuronas puntuales
dijeron que de reales
sólo incontable es su espada.
El número diagonal
suma uno a aleph sub cero
que es igual a aleph sub cero
lo que nos da una señal
porque en cuanto al cardinal
como mucho a lo mejor
dándole a todo motor
por diagonales que entable
siempre serán numerables
no concluye si hay mayor.
El matemático modo
deja que diga: no acepto
definir ese concepto
como rescate del lodo
mas veo que casi todos
lo dicen sin ver la cosa
que sea bien rigurosa
pa' mentes frescas y atentas
siempre puede ser tormenta
la larva de mariposa.
Incontables los reales
nadie mostró que haya más
para mí volvió la paz
de éstos cómos, de éstos cuáles
la sonrisa se me sale
de lo bello de la ciencia
desde Korn y de mi ausencia
aprendo siempre enseñando
pues estos versos que mando
tambien ejercen docencia.
Si afirmamos que de la demostración del teorema se deduce que hay más reales que naturales, entonces debemos decir que aleph sub cero más uno (o bien aleph sub cero más aleph sub cero) es estrictamente mayor que aleph sub cero.
Lo cual entra en contradicción con la posteriormente formalizada aritmética de transfinitos.
No podemos, desde el teorema de la diagonal, afirmar que nay más reales que naturales. Solamente podemos afirmar categóricamente que R es no numerable.