نظام مسلمات (axiomatic system)

نظام مسلمات النظام المكوَّن من المسلَّمات والمسلَّمات الأولية (اللامبرهَنات)، والقوانين والبرهانات (النظريات، والنتائج، ... ) على أساسها.