The existence of non-standard models is a semantic fact about model theory, but the incompleteness t...