Help


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

0.253 seconds.