It is these semantics that give second-order logic its expressive power, and they will be assumed for the remainder of this article.
Είναι αυτή η σημασιολογία η οποία δίνει στην δεύτερης τάξης λογική την εκφραστική της δύναμη, και θα εννοούνται από εδώ και πέρα για το υπόλοιπο άρθρο.