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é