Terminology in math

• 公理axiom 定理theorem 命题propersition 推论corollary 引理lemma 猜想conjecture
• formula is 公式
• claim is 断言
  • False claim
• predicates is 谓词
• deduction vs induction 推理 VS 归纳
  • deductive vs inductive 演绎法与归纳法
• prove the contrapositive is 反证