دستگاه صوری: تفاوت میان نسخه‌ها

در [[منطق صوری]]، منظور از '''سامانهدستگاه صوری''' {{به انگلیسی|Formal system}} عبارت است از یک [[زبان صوری]] به علاوهٔ [[مجموعه (ریاضی)|مجموعه‌ای]] از [[قواعد استنباط]] و [[اصل موضوع|اصول موضوع]].