هناك العديد من المصطلحات التي تدل على قوانين مثبتة لا يختلف عليها اثنان، وتستخدم هذه المصطلحات في بعض أنواع العلوم مثل الرياضيات والفيزياء واللغة العربية والكثير من المواقف التي تواجهنا خلال الحياة العملية والحياة العلمية، وبناء عيها نستطيع الوصول الى حلول للمسائل والمشاكل التي تواجهنا، ومن أسماء هذه المصطلحات، الحقائق، القوانين الثابتة، المفاهيم، القواعد،والنظريات، والمسلمات.
العبارة التي تقبل على أنها صحيحة دون برهان تسمى
عندما نقول عبارة مثبتة وواضحة بدون الحاجة الى دليل ولا برهان، فتكون هذه العبارة مسلمة،أي أن العبارة التي تقبل على أنها صحيحة دون برهان تسمى المسلمة، والمسلمة عبارة عن منطق أو مبدأ يسلم به دون برهان أنه واضح جدا كالضروريات والأوليات.