The argument is basically a debased take on Wittgenstein’s Ladder, which is itself an incompleteness theorem over the manifold of information.