proof theory好像还是建立在数理逻辑之上。

来源: 2024-10-26 08:34:00 [旧帖] [给我悄悄话] 本文已被阅读: