Second-order logic also includes quantification over sets, functions, and other variables as explained in the section Syntax and fragments.
Η λογική δεύτερης τάξης επίσης περιέχει ποσοτικοποίηση πάνω σε συναρτήσεις, και άλλες μεταβλητές όπως εξηγείτε εδώ Syntax and fragments .