GODEL配数法相关硕士博士期刊学术论文

研究了对现代数理逻辑与形式系统公理化方法有着深远影响及重大意义的Godel不完备性定理1和定理2，给出了Godel不完备性定理证明的一......