तो, मान लें कि एल एक भाषा है जो हमें दी गई है या हमें दिया गया परिसर का सेट है, अगर एल अल्फा बनाता है, तो मुझे खेद है कि अगर एलएएफ अल्फा प्राप्त करता है, तो अल्फा अल्फा एनिलियन पर जोर देता है, इसलिए ध्वनि यह है कि मेरा तर्क तंत्र केवल सही फार्मूला उत्पन्न करेगा यदि यह उत्पन्न होता है एक सूत्र तब वह सूत्र सत्य होना चाहिए।