Page "Second-order logic" Paragraph 27
from
Wikipedia
It is a corollary of Gödel's incompleteness theorem that there is no deductive system ( that is, no notion of provability ) for second-order formulas that simultaneously satisfies these three desired attributes:
Page 1 of 1.
1.895 seconds.