逻辑学有着悠久的历史，是西方思想的核心原则之一。追溯到古希腊哲学家，逻辑学一直试图设计一种系统，通过思考来确定真理。逻辑学属于演绎推理的范畴，这意味着它被用来根据已确立的真理来确定真理，这些真理被称为公理或公设。
最古老、最有影响力的公理系统来自欧几里得的《几何原本》，这是一本经典的几何学教科书，被认为是有史以来最重要的书籍之一。欧几里得在他的第一本书中以 23 个定义和 5 个公设开始。公设基本上描述了可以用未标记的尺子和圆规做什么。例如，第一个公设说可以在两点之间画一条直线。第二个说直线可以延伸，第三个说可以以一个中心和一个给定的半径画圆。