大型基数的模型论特征重访 | Synapse