Article:
> "The details of the mathematics involved in Gödel's
> ontological proof are complicated, but in essence the
> Austrian was arguing that, by definition, God is that
> for which no greater can be conceived."
OED:
> God: a superhuman being or spirit worshipped as having
> power over nature or human fortunes; a deity.