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