重构命题:符号、事实与实证框架 | Synapse