Dans son Proslogion, Anselme, archevêque de Canterbury, posait la nécessité de croire pour comprendre. Mais il voulait aussi que l'on s'efforce de comprendre ce que l'on croit. Sa réflexion est à l'origine de la longue tradition de l'argument dit ontologique.