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