Towards a formalization of Thomistic theodicy : formalized attempts to set formal logical bases to state first elements of relations considered in the Thomistic theodicy - Nieznański, Edward (European studies in theology, philosophy and history of religions ;, 2013)