摘要： 
我花了数天整理了这些定理的描述，如果描述涉及到一些较深的概念，我就一并把这些概念的定理列在定理描述之前，争取做到有高中数学基础的读者均能看懂定理的描述。
文中列出了定理的中文翻译、《最伟大的 100 个定理》中的英文定理名称（一部分为概述）、该定理所属的数学领域（为我的个人整理，标有问号的是我不确定的）、定理描述、其 Coq 形式化实现（一部分没有）和对应的 Wikipedia 链接（可作为拓展阅读）。
Coq 作为现代人类数理逻辑学的精华，在中文互联网上却十分冷门，作者希望通过本文来宣传一下 Coq神奇的定理检验功能。 阅读全文
我花了数天整理了这些定理的描述，如果描述涉及到一些较深的概念，我就一并把这些概念的定理列在定理描述之前，争取做到有高中数学基础的读者均能看懂定理的描述。
文中列出了定理的中文翻译、《最伟大的 100 个定理》中的英文定理名称（一部分为概述）、该定理所属的数学领域（为我的个人整理，标有问号的是我不确定的）、定理描述、其 Coq 形式化实现（一部分没有）和对应的 Wikipedia 链接（可作为拓展阅读）。
Coq 作为现代人类数理逻辑学的精华，在中文互联网上却十分冷门，作者希望通过本文来宣传一下 Coq神奇的定理检验功能。 阅读全文