ومن هذا يعلم أنّ الواجب هو الممكن « 1 » بالمعنى العامّ ولا ينعكس ، فليس الممكن هو الواجب . ولا الممكن بالمعنى العامّ ينعكس على ممكن ان لا يكون . ويبطل بهذا قول من قال : إنّ الواجب إن كان ممكنا والممكن ممكن ان لا يكون فالواجب

--> ( 1 ) - ض ، ممكن .