Frege's original system of predicate logic was second-order, rather than first-order.
O sistema orixinal de lóxica de predicados de Frege non era de primeira, senón de segunda orde.