---

---

全名：公理化集合论机器证明系统
简介：<p>布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.本书利用交互式定理证明工具Coq,实现Morse-Kelley公理化集合论形式化系统,包括对该体系中8个公理(含选择公理)和1个公理图示以及全部181条定义或定理的Coq描述,其中构造了序数和基数,定义了非负整数,把Peano公设当作定理,可以迅速而自然地给出一个数学基础,摆

---

目前呈现的是知搜为您找到有关公理化集合论机器证明系统的内容，该内容来源于：无名图书，如果您对内容有异议，请到实际提供内容的网站进行交涉。注意本站只是起到辅助搜索的工具，不提供任何实际内容，本工具初衷为帮助书籍爱好者花更少的时间找到想要的内容。

另外如果本内容无法满足您的需求，请查看下方的相似内容，也许有您需要的书籍。或者你也可以试试搜索 公理化集合论机器证明系统 或者搜索 郁文生 可能有意想不到的结果。

---

前往目标站 违规举报