proof theory好像還是建立在數理邏輯之上。

來源: 2024-10-26 08:34:00 [舊帖] [給我悄悄話] 本文已被閱讀: