ز - الصلاة واجبة في الإسلام.
ح - السماء فوقنا والأرض تحتنا.
ط - إذا انتفى اللازم انتفى الملزوم.
ي - الثلاثة لا تنقسم بمتساويين.
يا - انتفاء الملزوم لا يلزم منه انتفاء اللازم، لجواز كونه أعم.
يب - نقيضا المتساويين متساويان.
5 - يقول المنطقيون: إن إنتاج الشكل الأول بديهي فمن أي البديهيات هو؟
6 - بنى علماء الرياضيات جميع براهينهم على مبادئ بسيطة يدركها العقل لأول وهلة يسمونها البديهيات نذكر بعضها، فبين أنها من أي أقسام البديهيات الست، وهي:
أ - إذا أضفنا أشياء متساوية إلى أخرى متساوية كانت النتائج متساوية.
ب - إذا طرحنا أشياء متساوية من أخرى متساوية كانت البواقي متساوية.
ج - المضاعفات الواحدة للأشياء المتساوية تكون متساوية، فإن كان شيئان متساويين كان ثلاثة أمثال أحدهما مساويا لثلاثة أمثال الآخر.
د - إذا انقسم كل من الأشياء المتساوية إلى عدد واحد من أجزاء متساوية كانت هذه الأجزاء في الجميع متساوية.
ه - الأشياء التي يمكن أن ينطبق كل منها على الآخر انطباقا تاما فهي متساوية.
راجع بحث البديهة المنطقية آخر الباب الرابع - في الجزء 2 - تجد توضيح بعض هذه البديهيات الرياضية * * *