Logic general

No.10444638 ViewReplyOriginalReport
Hello my fellow logicians. What are you working on today? I've been reading up about Godel's ontological proof of God's existence using modal axioms.