This is exactly the opposite of what is the case. Anselm implicitly assumed that it was possible for God to exist, but Gödel proves it as a theorem (theorem 2 o

This is exactly the opposite of what is the case. Anselm implicitly assumed that it was possible for God to exist, but Gödel proves it as a theorem (theorem 2 on the Wikipedia page).