Secondly the ontological prove works - but it proves only, that GOD must exist, not, that HE actually exists.
Can you expound this distinction?
What GAUNILO brought up against the ontological prove (the idea of a pure island, which can be imagined, but does nevertheless not exist) does not fit, because - as already ANSELM Himself replied - the idea of GOD as the summum
omnium is unique and can not be compared to any other idea.
Yet, that we subectively need for our daily life to believe, that the ontoLogy is in some way "rational" and mirroring verity, does not prove, that this is objectively true.
Compared to Europe's so-called "rationalists", who began - roughly with ANSELM - to mix empirical & rational sive us/world & GOD, the e.g. Jews were wiser, when being aware, that only HE can say "I am".