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

來源: 2024-03-27 18:33:00 [舊帖] [給我悄悄話] 本文已被閱讀: