You'll have to ask Bruno, because that's what he wrote.
> On 01-Jun-01, Saibal Mitra wrote:
> > BTW, do you know that Godel wrote a formalisation in the modal logic
> > system S5 of St. Anselm proof of the existence of God? (I'm not sure
> > there is any evidence that Godel takes his proof seriously, but it is
> > a nice little piece of exact and very modest theology. See Vol 3 of
> > the complete work of Godel edited by Feferman & Al.).
> > My opinion? Well I don't believe in S5 :-)´´
> Could you expand on "I don't believe in S5"? Just curious.
> Brent Meeker
> "El sueño de la razón produce monstruos."
> --Francisco de Goya