Arithmetic and Logic Incompleteness: The Link. tr 2008, 2 (3).