定義

定義為某種數學物件賦予屬性。例如，歐幾里得的《幾何原本》以許多定義開頭，例如“線是沒有寬度的長度”。在定義之後，歐幾里得給出了公設或公理。基於這些，他提供了一些證明和構造。