Page "Second-order logic" Paragraph 28
from
Wikipedia
* ( Soundness ) Every provable second-order sentence is universally valid, i. e., true in all domains under standard semantics.
Page 1 of 1.
1.794 seconds.