The metalanguage may be a natural language, or it may be partially formalized itself, but it is generally less completely formalized than the formal language component of the formal system under examination, which is then called the object language, that is, the object of the discussion in question. ويمكن أن تكون لغة المعرفة أي شيء أكثر من اللغة العادية الطبيعية، أو يمكن أن تكون شكلية بشكل جزئي في حد ذاتها، إلا أنها أقل شكلية من مكون اللغة الشكلية للنظام الشكلي الذي يتم فحصه، ويطلق عليها حينها اسم لغة الهدف، أي هدف المناقشة المشار إليه.
One suggestion is that you know a theory that generates a theorem of the form 's means that p' for every sentence of the object language (i.e. the language of the community), where s is the name of a sentence in the object language, and p is that sentence, or a translation of it, in the metalanguage in which the theory is expressed. كيف يمكنك التوصل إلى فهم اللغة؟ أحد الاقتراحات هو أن تعرف نظرية أن يولد نظرية من النموذج 'ق يعني أن ع' عن كل جملة في اللغة كائن (أي لغة من لغات المجتمع)، حيث ق هو اسم حكما في اللغة كائن، وف هي تلك الجملة، أو ترجمة له، في اللغة التي تستخدم في تعريف لغة أخرى والتي يتم التعبير عن هذه النظرية.
جوال إصدار