مقياس فلسفة العلوم ...

يطلق على منظومة من المسلمات ونتائجها المنطقية مبرهنا عليها بواسطة المنطق الاستنباطي،حيث نعتبر عبارة ما مسلمة في النسق البديهي إذا سُلّم بها في النسق دون برهان،وتُعتبر العبارة نظرية في النسق البديهي إذا بُرهن عليها فيه اعتمادات على المسلمات المستخدمة.