This paper is a continuation of the paper [16]. Namely, in [16] we have introduced, among others, the definition of the N atomic entailment and we have constructed the system S, which is based on the atomic entailmen...This paper is a continuation of the paper [16]. Namely, in [16] we have introduced, among others, the definition of the N atomic entailment and we have constructed the system S, 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]）.展开更多
文摘This paper is a continuation of the paper [16]. Namely, in [16] we have introduced, among others, the definition of the N atomic entailment and we have constructed the system S, 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]）.
