Corollary意思

"Corollary"在數學中是一個術語，它指的是從一個主要定理、命題或結果中直接推出的一個較弱的命題或結果。這個較弱的命題通常不需要太多的額外證明，因為它可以從主要結果中直接推導出來，或者它是主要結果的一個直接推論。

在數學文獻中，一個定理的 corollary 通常會被編號，例如 "定理 1" 的 corollary 可能會被標記為 "定理 1 的 Corollary 1" 或 "定理 1 的推論 1"。這種編號有助於讀者跟蹤不同結果之間的關係，並理解它們在邏輯上的從屬關係。

在邏輯上，一個 corollary 可以被視為一個更弱的命題，它依賴於一個更強的命題。例如，如果一個定理證明了存在性，那麼一個 corollary 可能會提供一些額外的信息，比如關於這個存在的對象的數量或者性質。

在數學之外，"corollary" 這個辭彙也可以用來描述任何從主要陳述或結論中自然推出的次要結論或推論。