Help


from Wikipedia
« »  
* ( Completeness ) Every universally valid second-order formula, under standard semantics, is provable.

1.831 seconds.