Only the ranges of quantifiers over second-order variables differ in the two types of semantics (Väänänen 2001).
Μόνο οι σειρές των ποσοδεικτών των μεταβλητών δεύτερης τάξης διαφέρουν ανάμεσα στους δυο τύπους σημασιολογίας (Väänänen 2001).