Spacetime Substantivalism XX: The Hierarchical Truth Restoration of Mathematics and Logic(时空实质性 XX:数学与逻辑的真理层级还原) | Synapse