اكتشف أسرار قاعدة التكوين

في المنطق الرياضي، قواعد التكوين هي قواعد لوصف مجموعة من الرموز الصحيحة نحويا والتي تشكلت من ابجدية اللغة الرسمية. تتناول هذه القواعد موقع واستخدام هذه المجموعات الرمزية فقط، أي أنها لا تصف أي شيء آخر عن اللغة، مثل دلالاتها (أي ماذا تعني هذه الرموز). (انظر أيضًا قواعد اللغة الرسمية).