形式化系统 I:技术 — 非模态固化 | Synapse