可行和悖论推理的新理论基础 | Synapse