Un poema de Hans Magnus Enzensberger dedicado al lógico revolucionario:
Teorema de Münchhausen, caballo, tollo y trenza, es fascinante, pero no olvides: Münchhausen era un mentiroso. El teorema de Gödel parece a primera vista algo sencillo, pero piensa: Gödel tiene razón.
“En cada sistema suficientemente rico se pueden formular axiomas que dentro del sistema ni son demostrables ni refutables, a no ser que el sistema fuera él mismo inconsistente”.
Tú puedes describir tu propio lenguaje en tu propio lenguaje: pero no del todo. Tú puedes investigar tu propio cerebro con tu propio cerebro: pero no del todo. Etc. Para justificarse, cada sistema imaginable tiene que trascenderse, es decir, destruirse.
“Bastante rico” o no: libertad de contradicción es una manifestación carencial o una contradicción.
(Certeza = Inconsistencia)
Cada jinete imaginable, o sea también Münchhausen, o sea también tú eres un subsistema de un tollo suficientemente rico. Y un subsistema de este subsistema es la propia trenza, este aparato elevador para reformistas y mentirosos. En cada sistema suficientemente rico, o sea también en este tollo mismo, se pueden formular axiomas que dentro del sistema no son ni demostrables ni refutables.
¡Toma estos axiomas en la mano y tira!
