مسلمة (axiom)

مسلمة قضية في نظام رياضي أو عبارة فيه يُسَلَّم بصحتها، وتُستنتج منها منطقيًا مبرهنات (نظريات، نتائج، ... ) هذا النظام.