定義(Definition): 對(duì)于一個(gè)數(shù)學(xué)概念精準(zhǔn)明確的描述；通過給出一個(gè)單詞的所有真實(shí)的性質(zhì)來賦予這個(gè)單詞意義。

公理/假定(Axiom/postulate): 不證自明的聲明；它是所有定理(Theorem)證明的基石。

定理(Theorem)：經(jīng)過嚴(yán)格的數(shù)學(xué)推導(dǎo)的聲明；在數(shù)學(xué)論文中，通常指最重要的結(jié)果。

引理(Lemma)：為了幫助證明某一個(gè)定理(Theorem)的小定理；偶爾也能單獨(dú)存在。

推論(Corollary)：由已有的定理(Theorem)證明出來的結(jié)果；經(jīng)常說某定理(Theorem)的推論。

命題(Proposition)：得到證明的一些結(jié)論；通常不如定理(Theorem)重要。

推測，猜想(Conjecture)：未加證明的聲明，大家一致認(rèn)為是真的

恒等式(Identity)：使得兩個(gè)值（變量）相等的數(shù)學(xué)表達(dá)式

悖論(Paradox)：使用定理(Theorem)和定義(Definition)證明出來的即正確又錯(cuò)誤的statement；通常是指一些非常nb的理論中的一些不一致的地方。