目录
證明
在數學上，證明是在一個特定的公理系統中，根据一定的规则或标准，由公理和定理推導出某些命題的過程。比起证据，数学证明一般依靠演绎推理，而不是依靠自然归纳和经验性的理据。這樣推導出來的命題也叫做該系統中的定理。 數學證明建立在逻辑之上，但通常會包含若干程度的自然語言，因此可能會產生一些含糊的部分。實際上，用文字形式寫成的數學證明，在大多數情況都可以視為非形式邏輯的應用。在證明論的範疇內，則考慮那些用純形式化的语言写出的證明。這個区别导致了对過往到現在的數學实践、和的大部分检验。數學哲學就關注語言和邏輯在數學證明中的角色，和作為語言的數學。.
查看 墓碑符号和證明
證明完畢
证明完毕/证讫，又写作Q.E.D.。這是拉丁片語「quod erat demonstrandum」（這就是所要证明的）的縮寫，譯自希臘語「ὅπερ ἔδει δεῖξαι」（hoper edei deixai），並經常被戲稱為「quite easily done」(十分容易就完成了)。很多早期數學家用過，包括歐幾里得和阿基米德。「Q.E.D.」可以在證明的尾段寫出，以顯示證明所需的結論已經完整了。 現在的證明完畢符號，通常是（實心黑色正方形），稱之為「墓碑」或「哈爾莫斯（Halmos symbol）」（因保羅·哈爾莫斯最先採用此做法）。墓碑有時是空心的。另一個簡單方法是寫「proven」、「shown」或「證畢」之類的文字，或寫上兩個斜劃（//），或三角形內畫三點。 Unicode提供了字元U+220E（∎ 窄長方形），亦有U+25A0（ 實心正方形）和U+2023（ 實心三角形）。 Category:数学术语 Category:拉丁文单字及词组 Category:证明.
查看 墓碑符号和證明完畢
方塊元素
方塊元素是一個由許多不同寬度、高度、深淺及填充方式的方塊組成的Unicode區塊。.
查看 墓碑符号和方塊元素
亦称为 ∎，墓碑 (數學)。