对Ｄｅｓｋｉｎｓ最先给出的，其后经ＬＲＮｙｈｏｆｆ，ＡＢａｌｌｅｓｔｅｒ－Ｂｏｌｉｎｃｈｅｓ和ＬｕｉｓＭＥｚｑｕｅｒｒｏ改进的一个可解性定理作进一步的改进。更多还原......