Santo Anselmo procura provar a existência de Deus através do argumento depois chamado "argumento ontológico". Adotraso por filósofos posteriores, como Descartes, esse tipo de prova será criticado e rejeitado por outros pensadores, como Kant. O texto inclui ainda a objeção de Gaunilo ao Proslógio e a resposta de Sto. Anselmo ao monge de Marmoutier.