axiomatic system

axiomatic system ( ریاضی )
واژه مصوب: دستگاه اصل موضوعی
تعریف: دستگاهی منطقی شامل تعدادی اصل موضوع که قضیه ها با قواعد منطقی از آنها نتیجه می شود