Gödel

https://cl.search.yahoo.com/yhs/search?hspart=ima&hsimp=yhs-st_desktop2&type=chrome-q1000331_6002q&p=seg%C3%BAn+penrose+las+matem%C3%A1ticas+han+sido+descubiertas

Lógica modal, distingue entre verdades necesarias y verdades contingentes. Una verdad es necesaria si es verdadera en todos los mundos posibles. Una verdad es contingente si es verdadera en algunos casos y falsa en otros, por ejemplo, “hace frío y está lloviendo”. Si una declaración es cierta en nuestro mundo, pero falsa en otro mundo, entonces es una verdad contingente . Una declaración que es verdadera en algún mundo, no necesariamente en nuestro propio mundo, es llamada verdad posible.

En mis sueños hay luz,

sombras, colores, volúmenes,

voces, conversaciones, realidad

me persiguen, corro velozmente,

alguien está a punto de alcanzarme

para enterrarme un puñal,

es de noche, la zona

es peligrosa,

pocas luminarias,

despierto

asombrosamente estoy vivo

sin rasguños tendido en una cama

onírico

Ahora entiendo perfectamente

a un líder pronunciando un discurso

en otro idioma,

lo interrumpo hago una brillante

alocución

me retiro,

me encuentro en la calle

desfila gente en carros 

es un carnaval 

quedo maravillado

profundo es mi dormir

es de mañana

qué escuché, qué dije

en qué idioma

no lo sé