Page "Second-order logic" Paragraph 30
from
Wikipedia
* ( Effectiveness ) There is a proof-checking algorithm that can correctly decide whether a given sequence of symbols is a valid proof or not.
Page 1 of 1.
1.889 seconds.