joseph_c comments on Gödel’s Ontological Proof

[joseph_c]

I didn’t know that coherent logic was actually a term logicians used! I’m not a logician myself—I’m a programmer. Thanks for letting me know!