Add paper about Goedel's proof of God's existence