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