什麼叫定理

經過邏輯證明為真的陳述

定理（theorem）是經過邏輯證明為真的陳述。

定理是數學等學科中的重要概念，它通常基於公理、定義和其他已經證明的定理，通過邏輯推理得出。公理是那些被視為基本真實且不需要證明的命題，而定理則是這些基本真理的進一步推導。在數學中，定理的證明是確認其真實性的關鍵過程。與猜想不同，猜想是指那些被認為是真但尚未經過證明的數學陳述，而一旦猜想被證明正確，它就可以被稱為定理。定理在數學中扮演著基礎和核心的角色，它們構成了數學知識和理論的基礎。