OMAGGIO A GODEL (Fonte Ulisse)

Di Münchhausen il teorema, il cavallo, la palude e il ciuffo,
ciò affascina sì, ma non scordare:
Münchhausen era un bugiardo.

Di Gödel il teorema a vista si presenta
poco appariscente, ma tu rifletti:
Gödel ha ragione.

"In ogni sistema a sufficienza ricco
si possono formulare proposizioni
che all'interno dello stesso sistema
non sono dimostrabili né refutabili,
a meno che non sia inconsistente
il sistema stesso".

Tu puoi la tua lingua nella tua lingua
descriverla, ma non del tutto.
Tu puoi il tuo cervello
esplorarlo col tuo stesso cervello,
ma non del tutto.
Eccetera.

Ogni concepibile sistema per dimostrar
giusto se stesso deve trascendere
e dunque distruggersi.

"Sistema sufficientemente ricco" o no:
libertà di contraddizione è fenomeno di coerenza
o contraddizione di termini.

(Certezza=inconsistenza)

Ogni concepibile cavaliere,
dunque anche Münchhausen,
dunque anche tu sei un sottosistema
di una palude sufficientemente ricca.

E un sottosistema di questo sottosistema
è il tuo ciuffo,
questo meccanismo di sollevamento
per riformisti e bugiardi.

In ogni sistema sufficientemente ricco,
dunque anche in questa palude qui,
si possono formulare proposizioni
che all'interno dello stesso sistema
non sono dimostrabili né refutabili.

Afferra questi proposizioni e tira!