Description: Article on 20th-century logician Kurt Gödel's formulation of this argument for God's existence.