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.