Gödels incompleteness theorem guarantees all abstractions are leaky.

Try explaining the intrinsic meaning of written language in written language. You can't close the loop without making the result trivial.