The Formalization of The Arithmetic System on The Ground of The Atomic Logic  

作　　者：T. J. Stepien L. T. Stepien 

机构地区：[1]The Pedagogical University of Cracow, ul. Podchorazych 2, 30 - 084 Krakow, Poland.

出　　处：《Journal of Mathematics and System Science》2015年第9期364-368,共5页数学和系统科学（英文版）

摘　　要：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]）.

关 键 词：Atomic entailment Arithmetic System Peano＇s Arithmetic System classical Arithmetic 

分 类 号：O562.1[理学—原子与分子物理] TN913.3[理学—物理]