51095 - Με τη λογική πρώτου τύπου

Ν. Λυγερός

Με τη λογική πρώτου τύπου
καταλαβαίνεις
τη δύναμη που έχει
το αντιπαράδειγμα
και πόσες απαιτήσεις
υπάρχουν για την ορθότητα
μιας θεωρίας
που πρέπει
να είναι
άψογη
σε κάθε σημείο της.