On the Consistency of the Arithmetic System
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.
math.GM↗
arXiv subjects
Ł. T. Stępień
Publications and source records attributed to Ł. T. Stępień.