In addition to the syntax of first-order logic, second-order logic includes many new sorts (sometimes called types) of variables.
Επιπρόσθετα της σύνταξης της λογικής πρώτης τάξης, η λογική δεύτερης τάξης περιλαμβάνει πολλά νέα είδη (μερικές φορές αποκαλούνται τύποι) μεταβλητών.