{axiomatic system, system of axioms} [ریاضی] دستگاهی منطقی شامل تعدادی اصل موضوع که قضیه ها با قواعد منطقی از آنها نتیجه می شود