W kierunku formalizacji tomistycznej teodycei - Bocheński, Joseph M. (1980)