GenericModel comments on Gödel’s Ontological Proof

[GenericModel]

https://​​www.isa-afp.org/​​entries/​​Types_Tableaus_and_Goedels_God.html