دستگاه اصل موضوعی

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