I do agree that Godel’s incompleteness is effectively a statement about integers. As is our model of computation (lambda calculus and church-Turing thesis)