可完备化论文