[andsoitis]

> I think Gödel had a proof for how it’s impossible to fully describe a system from within that system.

Gödel's incompleteness theorems

https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_...