Comment by knightoffaith

They are both ontological proofs, yep. Though Godel is using modal logic, which won't be invented for centuries until after Spinoza's time.