Modal logic。上帝说能证或不能证推出的是“上帝说”的非必然性，而不是证的非必然性。

所有跟帖： 

• 推出证的非必然性，前提是上帝必然说能证或必然说不能证。 -露重烟微- ♀ (0 bytes) () 03/26/2024 postreply 20:04:00

• 反正要證明上帝存在就是有不可行。。 -中间小谢- ♂ (0 bytes) () 03/26/2024 postreply 20:30:27

• 确实现存所有证明都不成功，但据此也推不出必然不存在这种证明。当然，我个人是无神论者，会把宝押在没有上。 -露重烟微- ♀ (0 bytes) () 03/26/2024 postreply 21:18:00