Arithmetic and logic incompleteness: the link (The Reasoner, 2008)