Just as in first-order logic, second-order logic may include non-logical symbols in a particular second-order language.
Όπως ακριβώς και στην πρώτης τάξεως λογική, η δεύτερης τάξης μπορεί να περιλαμβάνει μη λογικά σύμβολα (non-logical symbols) σε μια συγκεκριμένη δεύτερης τάξης γλώσσα.