加载中…
2018-03-28
On the Consistency of the Arithmetic System
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.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本