دستگاه صوری

در منطق صوری، منظور از دستگاه صوری  عبارت است از یک زبان صوری به علاوهٔ مجموعه‌ای از قواعد استنباط و اصول موضوع.

جستارهای وابسته 
 منطق گزاره‌ها
 قضایای عدم تمامیت گدل
 علوم صوری

منابع 

Ebbinghaus, H. -D., Flum, J., and Thomas, W. Mathematical logic, Springer-Verlag New* York Inc., ۱۹۸۴.  	

سیستم صوری
روش‌های صوری
زبان‌های صوری
فرامنطق
منطق ریاضی
هند در سده ۴ (پیش از میلاد)