The article does mention that possibly one can't escape this issue totally.
But with incompleteness theorem we have a far stronger statement, that no matter how expressive the model space, there are possibilities that it will eventually encounter in its use and that it won't let anticipate. Well it doesn't say exactly that in that terms, but that's a rather straight forward interpretation of it.
But with incompleteness theorem we have a far stronger statement, that no matter how expressive the model space, there are possibilities that it will eventually encounter in its use and that it won't let anticipate. Well it doesn't say exactly that in that terms, but that's a rather straight forward interpretation of it.