نظام شكلي

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

هذه بذرة مقالة عن المنطق تحتاج للنمو والتحسين، فساهم في إثرائها بالمشاركة في تحريرها.