[undershirt]

The struggle is that the symbolic graphs we construct to explain facts become logical beasts of their own, prone to generating sentences paradoxical under our desired interpretation.

Of course, the proofs are first constructed in the context of meaning, but the entire process seems to be a struggle to context-switch between the realms of meaning and symbology, which do not necessarily mirror one another.

But Godel has somehow proved that symbols cannot always provide both a consistent and complete system of meaning.

Gödel seems very much related to this, but I'm still lost.