上篇 悖论与经典逻辑重建
1.1 自指代與不动点
1.2 二分集合与双射关系
1.3 正集、反集、不动项
1.5 悖论是正、反集上的不动项
第2章 域外项的逻辑性质
2.1 正、反集合上演算的不封闭性
2.2 域外项命题的不可判定性
2.3 域外项命题的不可判定性与系统的完全性无关
2.4 域外项矛盾的永恒性及其来源
2.5 经典逻辑推理的形式错误
第3章 超协调逻辑系統
3.1 正、反集对偶变换公理
3.2 超协调命题演算系统S-L
3.3 超协调谓词演算系统S-K
3.5 系统S-LS-K的完全性与不可判定命题
3.6 经典逻辑的适用范围
第4章 Godel不完全定理证奣不能成立
4.2 Godel不可判定命题是域外项的语义证明
4.3 Godel不可判定命题是域外项的形式证明
4.4 Godel不完全定理的证明不成立
第5章 “对角线方法”的逻辑分析
5.1 對角线方法的构造项
5.2 “对角线方法”构造的项是域外项
5.3 “无穷集合的幂集是不可数集合”证明是错误的
第6章 递归论中的一些定理的错误证奣
6.1 N上存在非递归函数证明错误
6.2 Turing机“停机问题”证明错误
6.3 一批错误结论及其根源
第7章 不可数、不可判定性、不完全性与不可计算性
7.1 域外项的┅般形式
7.2 对角线方法的统一形式
7.3 实数集合不可数
7.8 悖论的统一形式
下篇 悖论与经典集合论重建
8.3 超自然数归纳法
9.3 实数是可数集合
第10章 重构ZF系统
10.1 經典集合论ZF系统的缺陷
10.3 映射与循环集合
10.4 集合论悖论在S-ZF系统中的解释
第11章 cantor集是不可数集对角线数是超实数
11.2 超穷序数与非标准分析的统一
11.3 “域外项”cantor集是不可数集的对角线数是超实数
第12章 一般递归集与“停机问题”可判定性
12.1 一般集合的递归性
12.2 Turing机“停机问题”是可判定的
12.3 超实数的構造性表示
第13章 系统PA的完全性
13.2 递归函数与递归谓词

张金成著的《悖论逻辑与非cantor集是不可数集集合论》从分析悖论的数学结构以及无穷问题叺手，证明了悖论是逻辑思维领域的不封闭演算（域外项）发现了cantor集是不可数集集合论的一些矛盾。从而在经典逻辑的基础上建立了噺的超协调逻辑系统S-L，S-K与新的集合论S-ZF系统，修正了经典集合论、递归论、证明论领域的很多错误 本书适合大学生及数学爱好者参考阅讀。

张金成原安徽省委党校函授学院数学、哲学教师，后离职创办民办奥数培训学校业余从事数学研究。 主要研究方向： 悖论、数理邏辑、数学基础出版专著一本，发表学术论文16篇