جملة شرطية بالإنجليزية

فيكون نظام الاستنباط ذو النظرية الدلالية كاملاً بثبات إذا كانت كل جملة "P" التي هي قضية شرطية لمجموعة من الجمل Γ يمكن اشتقاقها في نظام الاستنباط من تلك المجموعة.

A deductive system with a semantic theory is strongly complete if every sentence "P" that is a semantic consequence of a set of sentences Γ can be derived in the deduction system from that set.