邏輯學有著悠久的歷史，是西方思想的核心原則之一。追溯到古希臘哲學家，邏輯學一直試圖設計一種系統，透過思考來確定真理。邏輯學屬於演繹推理的範疇，這意味著它被用來根據已確立的真理來確定真理，這些真理被稱為公理或公設。
最古老、最有影響力的公理系統來自歐幾里得的《幾何原本》，這是一本經典的幾何學教科書，被認為是有史以來最重要的書籍之一。歐幾里得在他的第一本書中以 23 個定義和 5 個公設開始。公設基本上描述了可以用未標記的尺子和圓規做什麼。例如，第一個公設說可以在兩點之間畫一條直線。第二個說直線可以延伸，第三個說可以以一箇中心和一個給定的半徑畫圓。