paper

On the Consistency of the Arithmetic System

arXiv:1803.11072 · doi:10.17265/2159-5291/2017.02.001

Abstract

In this paper we establish that the well-known Arithmetic System is consistent in the traditional sense. The proof is done within this Arithmetic System.