Experiments in Computational Metaphysics: Godel’s Proof of God’s Existence - Christoph Benzmuller and Bruno Woltzenlogel Paleo (Preview Page 48)