مسلمة (فلسفة): الفرق بين النسختين

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

 

 

== انظر أيضا ==