Le Proslogion écrit par Anselme de Cantorbery en 1077 ou 1078 est sous-titré Allocution sur l'existence de Dieu. Ce bref et brillant texte théologique doit sa célébrité et sa fortune philosophique à une chose exclusivement : une manière de démontrer l'existence de Dieu y est inventée la preuve qu'on appellera métaphysique jusqu'à ce que Kant la nomme «ontologique». La plus audacieuse des preuves : celle qui n'aurait besoin de rien pour prouver que Dieu est de rien que de l'idée de Dieu. Grande invention et grande aventure de l'esprit quand bien même il s'avérerait que la preuve ne prouve pas.