Arithmetic and logic incompleteness: the link