On the Consistency of the Arithmetic System