謝謝捧場!Goedel其實用的是二階模態邏輯。這周末有空去研究一下。:)
來源:
露重煙微
於
2024-03-27 18:33:00
[
舊帖
] [
給我悄悄話
] 本文已被閱讀:次