In quale di queste opere è racchiusa la cosiddetta "prova ontologica" dell'esistenza di Dio elaborata da Anselmo d'Aosta?