Assertion: logic's theorem | /r/HasProperty | proved by kurt gödel
Facets:
Source sentences:
text: This theorem was proved first by Kurt Gödel as a consequence of the completeness theorem, but many additional proofs have been obtained over time.