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