أرسل هذا في رسالة قصيرة: Towards a formalization of Thomistic theodicy :