改变：问题的形成和解决的原则
全书共分三个部分：
第一编 变与不变
理论的观点
作者在这里提出通过数理逻辑领域的两个抽象而普遍的理论来介绍自己的结论。
- 群论（The Theory of Groups）
- 逻辑类型理论（The Theory of Logical Types）
群论的特性：
- 群由具有某一共同特征的成员（members）组成，至于成员的实际本质为何，乃不相关的事情，不在这一理论的考虑之内。
- 群的成员可以以各种不同的顺序来组合，而组合的结果仍然相同。
- 每一个群皆包括一恒等成员（identity member），其特性为：任何一位其他成员与该恒等成员组合，其结果仍为该成员自身。
- 在任一符合群概念的系统中，每一成员皆有其相对或相反成员，任一成员跟它的这个相反成员组合，结果为恒等成员。
逻辑类型理论的公理：