认证收敛空间:独立推理系统之间结构收敛的典范数学对象,具有经过验证的神经符号实现(自然性原则,第二部分) | Synapse