Logic of Arithmetic