بَابُ الِحسَابِ، وَأُصُولِ الَمسَائِلِ، وَالعَوْلِ الحساب لغة: العد والإحصاء. وحساب الفرائض: هو تأصيل المسألة وتصحيحها، لا علم الحساب المعروف؛ مع أنه لا بدَّ من معرفته لمن يريد إتقان علم الفرائض. وأصول: جمع أصل، وهو ما يتفرَّع عنه غيره. والمسائل: جمع مسألة، مصدر سأل سؤالًا ومسألةً، والمراد بها هنا: المسؤولة. وأصول المسائل: هو أقل عدد يخرج منه فرضها أو فروضها بلا كسر. ويأتي تعريف العول. وَلِلْحِسَابِ إِنْ تَرُمْ تَصْحِيحَا ... مُؤَصِّلًا مُفَصِّلًا تَوْضِيحَا فَاسْتَخْرِجِ السَّبْعَ الأُصُولَ تَلْقَى ... ثَلَاثَةً تَعُولُ لَا مَا يَبْقَى