更新时间:-- | 阅读量: 245
证明论中的一条重要定理。由哥德尔于1931年证明,是数理逻辑发展史上的一个极为重要的...A，则这个系统叫做完全系统，这样不完全性定理又可改述为：任何一个上述的系统U必是不完全的。在证明不完全性定理时，主要使用了算术化方法。由其证明过程， ...
搜索到与“ 完全性定理”相关的文献共 0条
010-56259535
关注中教数据库
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
个人中心
退出
