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