المسلمات والبديهيات

المسلمات: هي البنية الأساسية في الرياضيات، والمسلمة هي بيان يفترض أنه صحيح دون أي دليل، المسلمات هي الافتراضات الأساسية المستخدمة لإثبات النظريات، بمجرد إثبات النظرية يمكن استخدامها في إثبات النظريات الأخرى.