摘要：参考教材：计算机科学中的数学 我的另一篇博文：重温离散系列①之什么是证明 良序原理 Definition：非空非负的整数集合必有最小元素。 是的，你没有看错，良序原理就是这么显而易见。但是，良序原理却是离散数学中最重要的原理之一。 良序证明 良序证明是运用良序原理的一种证明方法。良序证明和反证法是挂 阅读全文

摘要：什么是证明 Definition(证明的定义) A mathmatical proof of a proposition is a chain of logical deduetions leading to the proposition from a base of axioms. 译：命题的数 阅读全文