Comment by yohanatan

That premise is definitely true. It is a result of Gödel's Incompleteness Theorems. 'Physics' certainly satisfies the constraint: 'of sufficient complexity to encode the natural numbers'.

See: http://users.ox.ac.uk/~jrlucas/Godel/implic.html [particularly "reality outruns knowledge"]