Anselmo, grande teologo e filosofo medievale, studiò ossessivamente per anni un problema: un'argomentazione con premesse per sè evidenti, vale a dire non richiedenti nessuna dimostrazione, capaci di dimostrare l'esistenza dell'Essere assoluto, ossia di Colui da cui tutto dipende e che non dipende da nulla. Proprio quando stava per desistere, improvvisamente ebbe la soluzione durante una notte in cui non riusciva a dormire. Era arrivato alla famosa prova ontologica di Dio, di cui tratta nel Proslogion. Questa edizione della BUR, ampiamente annotata da Lorenzo Pozzi, riporta anche le famose obiezioni mosse da Gaunilone e le risposte critiche di Anselmo.