公設

一種陳述，也稱為公理，被認為是無需證明即可為真的。公設是推匯出引理和定理的基本結構。例如，整個歐幾里得幾何都基於五個被稱為歐幾里得公設的公設。