Leibniz's proofs for God's existence