The second-order logic without these restrictions is sometimes called full second-order logic to distinguish it from the monadic version.
Η δεύτερης τάξης λογική χωρίς αυτούς τους περιορισμούς αποκαλείτε κάποιες φορές full second-order logic (πλήρης λογική δεύτερης τάξης) ώστε να την ξεχωρίζουμε από την monadic εκδοχή.