数学定理 公理 推论的英文单词

公理  Axioms

定理 Theorem

推论 Inference, Corollary

引理 Lemma