 An early and now-canonical formulation of the ontological argument is found in the second book of St. Anselm’s Proslogion (Anselm 1077–78). Anselm begins by characterizing God as the “being than which none greater can be thought” and then seeks to show that such a being does and indeed must exist. 