Frege's original system of predicate logic was second-order, rather than first-order.
Το αρχικό σύστημα της κατηγορηματικής λογικής του Φρέγκε ήταν δεύτερης τάξης, και όχι πρώτης τάξης.