An argument that attempts to prove God's existence through abstract reasoning and the definition of God alone.