Thus, not all sound deductive systems are complete in this special sense of completeness, in which the class of models (up to isomorphism) is restricted to the intended one.
بنابراین، همهٔ سامانه‌های استقرایی در این مورد خاص از کمال، که کلاس مدل‌ها (تا همریختی) محصور به نوع مورد نظر آن است، کامل نیستند.