تشكل مسلمات إقليدس الخمس الأساس البديهية للهندسة الإقليدية كما هو موضح في أطروحته "العناصر". وهي افتراضات أساسية تُشتق منها جميع النظريات الأخرى منطقياً. تتعلق البديهيات الأربع الأولى بتكوين المستقيمات والدوائر، بينما تحدد البديهية الخامسة، وهي فرضية التوازي، الطبيعة المسطحة غير المنحنية للفضاء الإقليدي. أسست هذه البديهيات الطريقة الاستنتاجية في الرياضيات.
