#tcb

在高中数学中，我们被引入了证明的概念 - “证明”这个词与“探针”一词的词语相关。在证明中，我们从第一个原则（AKA公理）的原因，为什么某种断言（AKA定理）保持真实。如有不同，我们验证定理，证明代表验证过程。 该语言的原理和证据需要一种语言 - 至少是该语言涉及语法和一组管理该语法的证明规则。基于数学规则的验证也......