(Completeness) Every universally valid second-order formula, under standard semantics, is provable.
(Completeness)(πλήρες)Κάθε καθολικά ισχύουσα δεύτερης τάξης formula, κάτω από καθορισμένη σημασιολογία, είναι αποδείξιμη .