第 9 部分 术语与对照

本部分是查阅用的材料：

• 9.1 术语表：产品用语、学术用语和日常说法的三方对照；
• 9.2 v2→v3 对照表：v2 的公理、命题、概念页、缺口和路线图在 v3 里去了哪里；
• 9.3 参考文献：全部文献，附逐条核验结果。