この資料をSMS送信: Towards a formalization of Thomistic theodicy :