Assertion: logic's property | /r/HasProperty | anticipated in gödel
Facets:
Source sentences:
text: This property was anticipated in (Gödel 1938).