هو وصف لكل ما يمكننا إثباته من خلال البرهان المنطقي أو ما إذا كان مسلمة