首先给出全信念收缩运算的一个反例，证明全收缩运算之附加假设与基本假设不协调，从而说明全收缩假设系统的不协调性；其次通过对全收缩运算假设系统的修改，消除了导致原系统不协调的直接因素，证明若一个全收缩函数满足修改后的各条假设，则该函数一定为最大选择收缩函数，并证明了在非平凡的情形下其假设系统仍不协调；最后给出满足基本假设的广义收缩函数与全收缩函数之间的互可定义性，说明可以用广义收缩函数部分代替全收缩函数 First of all, we give a counterexample of the whole conviction shrinkage operation to prove that the additional assumptions of the full contraction operation are inconsistent with the basic assumptions, so as to show the incompatibility of the full contraction hypothesis system. Secondly, by assimilating the system to the full contraction operation, The direct factor of system uncoordination proves that if a fully shrinking function satisfies each modified hypothesis, the function must be the largest choice shrinkage function and it is proved that its hypothetical system is still uncoordinated in non-trivial cases. Finally, The mutual definability between the generalized contraction function and the fully contracted function satisfying the basic assumption shows that the general contraction function can be used to partially replace the full contraction function