Page "Second-order logic" Paragraph 29
from
Wikipedia
* ( Completeness ) Every universally valid second-order formula, under standard semantics, is provable.
Page 1 of 1.
1.808 seconds.