Lectures on mathematical logic / 3 : the logic of arithmetic