51092 - Έχει πληρότητα

Ν. Λυγερός

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