The correct way to understand it is this: "We can't pack (i.e. compress) all the mathematical knowledge in a finite set of axioms and rules." This statement d

The correct way to understand it is this: "We can't pack (i.e. compress) all the mathematical knowledge in a finite set of axioms and rules." This statement doesn't look paradoxical.