143页：定理516前一句话“这是至今。。之一”删除，添加： 60年代，科恩(P.J.Cohen)证明了连续统假设在ZFC公理系统中是不可能判定真假的。这 里ZFC公理系统是由ZF(Zermelo-Fraenkel)公理系统加上选择公理构成。有关ZF公理系统 和选择公理可参见书后参考书[1]。 11.4欧拉图与哈密顿图 以下加在279页11.4.2节前面 从欧拉图G=(V,E)中寻找欧拉回路的算法主要有弗罗莱(Fleury)算法。算法如下： 弗罗莱算法 (I)任取vo∈V,令T=vo。 (2)设T=eyye2…e,y,按如下规则从E-{e,e2,…,e,}中选取边一条边e1, (a)e与y,相关联： (b)如果与y,相关联的边中，存在非G-{e1,e2,…,e,}的割边的边，则优先选它。 (3)将e1=(心，)和1添加到T末尾。 (4)重复(2)(3)直到不能再进行，算法停止，T即为欧拉回路。 【例11.*】找出图1的欧拉回路。 6 e2 e13 e4 e12 d 9 e10 6 es 图1 图2143 页：定理 5.16 前一句话“这是至今。。。之一”删除，添加： 60 年代，科恩（P. J. Cohen）证明了连续统假设在 ZFC 公理系统中是不可能判定真假的。这 里 ZFC 公理系统是由 ZF（Zermelo-Fraenkel）公理系统加上选择公理构成。有关 ZF 公理系统 和选择公理可参见书后参考书[1]。 11.4 欧拉图与哈密顿图 以下加在 279 页 11.4.2 节前面 从欧拉图G = (V,E) 中寻找欧拉回路的算法主要有弗罗莱（Fleury）算法。算法如下： 弗罗莱算法 (1) 任取 0 v V ，令T = 0 v 。 (2) 设T = 0 1 1 2 i i v e v e e v ，按如下规则从 E e1 ,e2 ,,ei 中选取边一条边 i 1 e  ， （a） i 1 e  与 i v 相关联； （b）如果与 i v 相关联的边中，存在非G e1 ,e2 ,,ei 的割边的边，则优先选它。 (3) 将 1 1 ( , ) i i i e v v    和 i 1 v  添加到T 末尾。 (4) 重复（2）（3）直到不能再进行，算法停止，T 即为欧拉回路。 【例 11.**】 找出图 1 的欧拉回路。 a b c e d g h f i a b c e d g h f i e1 e2 e3 e4 e6 e5 e7 e8 e9 e10 e11 e12 e13 e14 图 1 图 2