The Formalization of The Arithmetic System on The Ground of The Atomic Logic