يعزى إلى إقليدس (ولد عام 365 ق.م.) وضع نظام البديهيات، ولقد جمعَ إقليدس عمله في الهندسةِ فِي كتابِ أسماء الأصول، وقد اعتُبرتْ هندسةُ إقليدس منذ ذلك العهد نموذجًا للبرهان المنطقي، ومن التعاريفِ التِي وضعها إقليدس: (النقطة: وهي ما لا يكون لها جزء) (المستقيم: وهو طول ليس له عرض). أما البديهيات فقسّمها إلى بديهيات ومسلمات، فمثلاً من البديهيات: 1- الأشياءُ الَّتِي تساوي شيئًا واحدًا تكون متساويةً. 2- إذا أضيفتْ متساوياتٌ إلى متساوياتٍ فالمجموعُ يكون متساويًا. 3- الأشياءُ الَّتِي تنطبقُ عَلَى بعضِها تكون متساويةً. 4- الكلُّ أكبرُ منَ الجزءِ. ومنْ مسلماتِ إقليدس: 1- المستقيمُ يمكن أن يرسم من نقطةٍ إلى نقطةٍ أخرَى. 2- القطعةُ المستقيمةُ المحدودةُ يمكنُ أن تمتدَّ إلى خطٍّ مستقيمٍ. 3- كلُّ الزوايا القائمة يساوِي بعضُها بعضًا.. وهكذا. ويتكوّنُ النظامُ الهندسيُّ لإقليدس منَ التعريفاتِ والبديهيات والفروض والنظريات المشتقة. وبقيتْ هندسةُ إقليدس تُدرسُ كما هي حتّى القرن التاسع عشر حيث اكتشفتِ الهندسةُ اللا إقليديه.
