First-order logic requires at least one additional rule of inference in order to obtain completeness.
Η λογική πρώτης τάξης απαιτεί τουλάχιστον ένα επιπλέον κανόνα εξαγωγής συμπερασμάτων για να επιτευχθεί η πληρότητα.