定理（英語：Theorem）是經過受邏輯限制的證明為真的陈述。一般來說，在數學中，只有重要或有趣的陳述才叫定理。證明定理是數學的中心活動。一个定理陈述一个给定类的所有（全称）元素一种不变的关系，这些元素可以是无穷 … 展开

若存在某敘述為$${\displaystyle A\rightarrow B}$$，其逆敘述就是$${\displaystyle B\rightarrow A}$$。逆敘述成立的情況是 展开

1. 數學原理
2. 公理（也稱公設）－公理是沒有經過證明，但被當作不證自明的一個命題。
3. 定理 展开

定理一般都有许多條件。然後有結論——一個在條件下成立的數學敘述。通常寫作「若條件，則結論」。用符號邏輯來寫就是條件→結論。而當中的證明不視為定理的成分。 展开

逻辑语言中的定理表示的是一个公式集合，并且该公式集合中的每一个公式都代表着知识的一个片段，由此我们可以给定理一个更准确的表达（这里所说 … 展开