正文
《改变》引入了数理逻辑的两大理论：
群论（The Theory of Groups）和逻辑类型理论（The Theory of Logical Types），通过模拟来例证他们在个案工作中的心得和进展。
不用担心，虽然是数学理论，但只要具备最基本的集合知识就能看懂。
「群」由成员（member）组成，它是世间万物以不同框架归类而成的组合。
同一群内总存在一个恒等成员（identity member），维系着群的平衡状态。因此，只要在同一群里，「变」与「不变」就像连体婴、或如光和影，永远互相依存。「凡事愈变，愈是不变。」这就是我们经常观察到、或身陷的困局：明明做了非常多的努力，但结果巍然不动。这时候，你该退后一步看看：所做的努力，是不是都只是在同一个「群」内呢？
后退一步，需要一个更高维（后设）的视角。这就引入了逻辑类型理论。在这个理论中，事物也需要被分门别类，只是它的分类单位，以「群」起跳；换言之，它的成员（member）恰恰就是群（Group）。
逻辑类型理论提供了一种跃迁——就好像开车需要换档一样：在低档位不论你如何踩油门，速度的提升都是有限的；只有变换档位后再加速，才会越来越快。
「不换档位只踩油门」的改变，是在系统内发生，但系统本身维持不变。这种变化，被称为第一序改变（first-order change）。
