1 citations · 1 across the 1 of their papers we have counts for
1 paper
T. J. Stępień, Ł. T. Stępień
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.