×

完备性定理

swMATH ID: 28562
软件作者: 詹姆斯·马格森;汤姆·里奇
描述: 完备性定理:根据Aczel等人1992年出版的《证明理论》一书中Wainer和Wallen章节的前五页,证明了一阶逻辑的完备性。他们对公式的表述允许证明使用对称论证。2000年初,马格森将这个定理形式化了。Isar的转变要归功于Tom Ridge。
主页: https://www.isa-afp.org/entries/Completeness.html
依赖项: 伊莎贝尔
相关软件: 存档正式证据;伊莎贝尔/HOL;FOL配件;HOL公司;大锤;伊莎贝尔;伊萨尔;摘要完整性;IsaFoL公司;FOL_哈里森;经验证的校准仪;叠加微积分;github;吉塔瓦;拉瓦;低成本融资;SPASS公司;毫升;HOL灯;元数学
引用于: 8出版物

2篇连载文章中引用

5 自动推理杂志
1 人工智能通信

按年份列出的引文