Lecture 1: Introduction and Proofs

定义：mathematical proof(数学证明)is a verfication(验证) of proposition(定理) by a chian of logical deductions(逻辑推演) from a set of axioms(公理) 【数学证明是通过一系列公理的逻辑推演来验证一个命题】

数学证明有三个重要组成部分:

• 命题——propositions
• 逻辑推演——logical deductions
• 公理——axioms