系 (数学)

数学において、ある主張（典型的には定理）の系（けい、英: corollary）とは、その（既知の）主張から「直ちに」証明される主張をいう。 == 概要 == 「命題」や「定理」とは呼ばず、どのような主張を「系」と呼ぶかという基準は本質的には主観に基づく。