Second-order logic and other higher-order logics are formal extensions of first-order logic.
Λογικές δεύτερης τάξης και άλλες λογικές ανώτερης τάξης είναι τυπικές επεκτάσεις της λογικής πρώτης τάξης.