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