The aim of this work is to show that contemporary mathematics, including Peano arithmetic, is inconsistent, to construct firm foundations for mathematics, and to begin building on these foundations.
生成讲解博客的中文版本
生成AI智能校验的中文版本