Frege's original system of predicate logic was second-order, rather than first-order.
Frege predikatų logikos sistema buvo labiau antros nei pirmos eilės.