بديع النظام (أو: نهاية الوصول إلى علم الأصول)

لمعنى معلوم، أو مجهول، فإن دلالته ليست ذاتية، ولا يجب اسم لمسمى لانتفائه قبل التسمية، وجواز الإبدال أول الوضع.

وواقعة؛ خلافا