The Formalization of The Arithmetic System on The Ground of The Atomic Logic
Łukasz T. Stȩpień · Journal of Mathematics and System Science · 2015
This paper is a continuation of the paper [16].Namely, in [16] we have introduced, among others, the definition of the atomic entailment and we have constructed the system 𝑆𝑆 ⊓ , which is based on the atomic entailment.In this paper we show that the classical Arithmetic can be based on the Atomic Logic (see [17]).