Assertion: truth's object | /r/HasProperty | integer numbers
Facets:
value: in gödel's work
type: LOCATION
Source sentences:
text: However, it has been shown by Gödel that self-reference cannot be avoided naively, since propositions about seemingly unrelated objects can have an informal self-referential meaning; in Gödel's work, these objects are integer numbers, and they have an informal meaning regarding propositions.