13555 - Μαθηματική αλήθεια

Ν. Λυγερός

Για τη Μαίρη

Μαθηματική αλήθεια
ως αυτοαναφορά
στον Kurt Gödel
πρέπει να έχεις
πάντα στο μυαλό σου
για να μην κάνεις
ποτέ το λάθος
να την θεωρήσεις
ταυτόσημη
με τη μαθηματική απόδειξη
αφού τώρα ξέρεις
ότι υπάρχουν
μαθηματικές προτάσεις
που είναι αληθινές
δίχως να μπορείς
να το αποδείξεις
κι άλλες που μπορείς
να αποδείξεις
ότι δεν είναι
ούτε αληθινές
ούτε ψευδείς
διότι δεν ανήκουν
όλες αυτές οι προτάσεις
στον προτασιακό λογισμό
γι’ αυτό θυμήσου
πάντα τον Gödel
για να μην πέσεις
ποτέ στην παγίδα
που μόλις τώρα
είδες μαζί μας.