謝謝捧場！Goedel其實用的是二階模態邏輯。這周末有空去研究一下。：）

來源: 露重煙微 於 2024-03-27 18:33:00 [] [舊帖] [給我悄悄話] 閱讀數 : (0 bytes)
請您先登陸，再發跟帖！