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