RelBib: The Contradiction Approach to Solving Problems about Omnipotence https://relbib.de/Record/1831436906