Arithmetic and logic incompleteness: the link. The Reasoner, v. 2, n. 3, 1 Mar.2008.